WIP - Using Coyoneda... Free Functors for our Free Monads.