patch applied (haskell-prime-status): separate the various monomorphism restriction proposals