Control.Category.Constrained.Reified.PolyPattern
class CRCategory k
class CRCartesian k
class CRMorphism k
class CRPreArrow k
class CRWellPointed k