liquidhaskell-0.8.10.7: typeclass-tests/Data/Either.hs
module Data.Either where
{-@ data Either l r = Left l | Right r @-}
data Either l r = Left l | Right r
module Data.Either where
{-@ data Either l r = Left l | Right r @-}
data Either l r = Left l | Right r