Data.Profunctor.Rep
class Representable p
tabulated
firstRep
secondRep
class Corepresentable p
cotabulated
unfirstCorep
unsecondCorep
closedCorep
data Prep p a
prepAdj
unprepAdj
prepUnit
prepCounit
data Coprep p a
coprepAdj
uncoprepAdj
coprepUnit
coprepCounit