[amelius]

This reminds me of the tutorial named "You could have invented monads" [1]. So apparently, somebody did :)

[1] http://blog.sigfpe.com/2006/08/you-could-have-invented-monad...