module Data.Either where
{-@ data Either l r = Left l | Right r @-}
data Either l r = Left l | Right r