Module

Control.Subcategory.Functor.HasConst

#HasConst

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

Members

Instances

Modules