tcfail151.hs:1:14: Warning:
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

tcfail151.hs:8:6:
    Expecting one more argument to ‘Name a’
    Expected a constraint, but ‘Name a’ has kind ‘* -> Constraint’
    In the data declaration for ‘Exp’

tcfail151.hs:8:30:
    Expecting one more argument to ‘a’
    Expected a type, but ‘a’ has kind ‘* -> *’
    In the type ‘a’
    In the definition of data constructor ‘MkExp’
    In the data declaration for ‘Exp’