started adding the free closure of a profunctor