patch applied (haskell-prime-status): Reject: make the monomorphism restriction optional