Re: [Haskell-cafe] How to define a common return and bind?

On 2009/04/10, at 20:32, Bas van Dijk wrote:

So I rewrote it using type families which I find much easier to understand:

Cool. Type family version is easier to read and understand for me.

This seems useful. Does this exists somewhere on hackage?

I glanced at Monad category in package list, It seemed that There is no package like this. I hope you to upload your package! Thanks, Hashimoto