Pointless Haskell: point-free programming with recursion patterns as hylomorphisms
This module defines generic GHood observations for user-defined data types.
Definition of generic observations
Class for mapping observations over functor representations.
Derives a type representation for a functor. This is used for showing the functor for reursion trees.
Watch values of a functor. Since the fixpoint of a functor recurses over himself, we cannot use the
Show instance for functor values applied to their fixpoint.
Maps an observation over a functor representation.