Control.Arrow.Constrained
type Arrow a k
class Morphism a
class PreArrow a
class WellPointed a
type ObjectPoint k a
class EnhancedCat a k
type ArrowChoice a k
class MorphChoice a
class PreArrChoice k
class SPDistribute k
type Function f
class CartesianAgent k
class PointAgent p k a x