T8514.hs:3:16:
    Expecting one more argument to ‘Maybe’
    Expected a type, but ‘Maybe’ has kind ‘* -> *’
    In the type ‘(a, Maybe)’
    In the type declaration for ‘T’