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

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