Module

Control.Subcategory.Constituency

#ObjectOf

#OperatorOf

class OperatorOf (p :: Type -> Type -> Type) (a :: Type -> Type) 

Instances

Modules