WIP - Using Coyoneda... Free Functors for our Free Monads.
All modules updated to Coyoneda.
Add an algebra to lift pure values.
We don't really need an algebra for lifting pure values.
Merge branch 'experimental/yoneda'

* experimental/yoneda:
  We don't really need an algebra for lifting pure values.
  Add an algebra to lift pure values.
  All modules updated to Coyoneda.
  WIP - Using Coyoneda... Free Functors for our Free Monads.