-- !!! Importing Tycon with missing constructor
module M where
import Prelude(Either(Left))