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

[Yusaku Hashimoto]

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