non-recursive 'co-church' representation of a so-called free monad on a given functor.