After discussion on the Haskell' mailing list, it was decided that Haskell' will keep polymorphic pattern bindings, with static semantics defined by a translation.

http://hackage.haskell.org/trac/haskell-prime/wiki/SpecifyPatternBindingSemantics