| just wanted to let you know that `a -> b' ist not made an instance of
| `Eval'. The following piece of code demonstrates the shortcoming.

Good point; thank you .

Simon

Reply via email to