1 2 3 4
-- !!! Importing Tycon with bogus constructor module M where import Prelude(Either(Left,Right,Foo))