tcfail078.hs:5:
    Type constructor `Integer' used as a class
    When checking kinds in `Integer i'
    In a type signature for `f'