hlint is kinda dumb sometimes, like any heuristic analyzer. In particular, it recognizes patterns of code, but knows nothing about types. Or, in this case, the monomorphism restriction, which is likely messing with the inferred type (since the inferred type is correct when it has a parameter).