-- !!! Trying to use constructors of abstractly imported type.
module M where
import Prelude(Either)
x = Left 'a'