Hi This module: module Q where f :: Int -> Int -> Int (f a) b = a + b causes Fail: Need infix operator at 5:9 (5:9 being the b) but it is valid as funlhs -> ( funlhs ) apat {apat} Thanks Ian