{-# LANGUAGE NoImplicitPrelude #-} module ShouldFail where data Either a b c = Left a