bringing discussions to a close

[Jim Apple]

On 3/29/06, Simon Peyton-Jones <simonpj at microsoft.com> wrote:
>         Proposal: make all pattern bindings completely monomorphic
>                     (regardless of type signatures)
...
> My bet is that this is a
> feature that is tricky to implement, but which is virtually never used.

If this proposal is implemented, is there a workaround for cases where
it is used?

Jim