@hackage free2.0

Monads for free

Monads for free