Module

Control.Subcategory.HasStart

#HasStart

class (HasIntroduce c s) <= HasStart (c :: Type -> Type -> Type) (s :: Type) | c -> s where

Members

#start

start :: forall c s. HasStart c s => s

Modules