Module

Control.Subcategory.Functor.Parameterized.HasConst

#HasConst

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

Members

Instances

Modules