
tcfail058.hs:6:7:
    Expecting one more argument to `Array a'
    In the type signature for `f': f :: Array a => a -> b
