Module

Control.Subcategory.HasIdentity

#HasIdentity

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

Members

Instances

Modules