
tcfail212.hs:10:7:
    Expecting one more argument to `Maybe'
    In the type signature for `f': f :: (Maybe, Either Int)

tcfail212.hs:13:7:
    Expecting a lifted type, but `Int#' is unlifted
    In the type signature for `g': g :: (Int#, Int#)
