Control.Subcategory.HasUnit

class (HasTerminate c u) <= HasUnit (c :: Type -> Type -> Type) (u :: Type) | c -> u where

Members

• unit' :: HasTerminate c u => Proxy3 c -> u

Instances

• HasUnit Function Unit
• HasUnit Builder (Record ())

unit :: forall c u. HasUnit c u => u