Category "free-monad"

The identity monad as a free monad

The functor of the identity monad can be defined as: data Identity a = Identity a Because this monad is free, an alternative definition is the following: data