Module

Control.Subcategory.Closed

#Closed

class Closed (c :: Type -> Type -> Type)  where

Members

Instances

Modules