Module

Control.Subcategory.Endofunctor.HasConst

#HasConst

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

Members

Instances

Modules