I don't really mind the monomorphism restriction for definitions whose types aren't functions, but it bugs me quite a bit that a function defined in terms of pa

I don't really mind the monomorphism restriction for definitions whose types aren't functions, but it bugs me quite a bit that a function defined in terms of pattern matching won't trip over the monomorphism restriction but the otherwise-equivalent definition in terms of lambda can.