All of them. More precisely, since the argument isn't used it's type is unconstrained, and the result could be any numeric type, so they all actually have type

All of them. More precisely, since the argument isn't used it's type is unconstrained, and the result could be any numeric type, so they all actually have type (Num b => a -> b), but that can be used anywhere you're expecting an Int -> Int.