RFC: Syntax for implicit parameter bindings

[Sebastien Carlier]

Hi all,

How about the following syntax:

      (addBase 5 | ?base = 10)

This is quite unlike from other binding constructs in Haskell,
so maybe something more similar to list comprehension
would be better:

      (addBase 5 | ?base <- 10)

Cheers,
Sebastien