-- !!! Correct tycon import (implicit constructor list)
module M where
import Prelude(Either(..))
x = (Left 'a', Right 'a')