An exploration into free contravariant functors - View it on GitHub