module HughesList where

type HughesList a = [a] -> [a]

c2a :: [a] -> HughesList a
c2a xs ys = xs ++ ys

a2c :: HughesList a -> [a]
a2c f = f []