Co.hs

class Semigroup a where
  (<>) ::
    a
    -> a
    -> a

newtype T a =
  T ([a] -> a)

instance Semigroup (T a) where
  T f <> T g = 
    T (\as -> g (f as:as))