Documentation
Pointed
does not require a Functor
, as the only relationship
between point
and fmap
is given by a free theorem.
Pointed
does not require a Functor
, as the only relationship
between point
and fmap
is given by a free theorem.