Hello, Why is the following a syntax error: f (view1 -> view2 -> pattern) = ... and the following isn't: f (view1 -> (view2 -> pattern)) = ... I would prefer the first version. regards, Bas