Composition.hs

module Pandora.Paradigm.Junction.Composition (Composition (..)) where

class Composition t where
	{-# MINIMAL composition #-}
	type Outline t a :: *
	composition :: t a -> Outline t a