Composition.hs

module Control.Joint.Abilities.Composition (Composition (..)) where

class Composition t where
	{-# MINIMAL run #-}
	type Primary t a :: *
	run :: t a -> Primary t a