On Mon, Jul 31, 2006 at 10:59:14AM +0200, Matthias Fischmann <fis at wiwi.hu-berlin.de> wrote a message of 89 lines which said: > try b <|> (return '-') ... > The (return 'x') is needed for type consistency. OK, it works. Many thanks for the solution and the explanations.