Happy generates

      notHappyAtAll = error "Blah"

without a type signature, and currently the new
typechecker doesn't generalise it.  This patch
says "no monomorphism restriction" which makes it
generalise again.

Better would be to add a type sig to Happy's template