================================================================================
Reader:
module Reader where
infixl 1 f
infixr 2 \\\
infix 3 :==>
infix 4 MkFoo
{- rec -}
\\\ ::
    _forall_ [] {Eq a} => [a] -> [a] -> [a]
f   x y     =   x
\\\ xs ys   =   xs
data Foo =
    MkFoo Int | Float :==> Double