tcfail161.hs:5:7:
    Expecting one more argument to `Maybe'
    Expected kind `*', but `Maybe' has kind `* -> *'
    In the type signature for `f': f :: [Maybe]