patch applied (haskell-prime-status): Accepted: remove the monomorphism restriction