Convered to type-families
Refactored to use type families. Inverted dependency between Data.Profunctor.Composition and Data.Profunctor.Rep