-- !!! Correct abstract tycon import
module M where
import Prelude(Either)