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