[Haskell-cafe] Practical Haskell question.
ariep at xs4all.nl
Mon Jun 25 13:10:34 EDT 2007
> If you want to stick to monads, there is another possibility: carry around
> the necessary checks *at the type level*. Below is a sketch of how you
> could do this.
Importantly, the given code still requires you to specify the checks "by
hand", when running the action; it only checks that you didn't forget a
Perhaps someone can improve this, so it derives the necessary checks
More information about the Haskell-Cafe