1 2 3 4 5 6 7
{-# LANGUAGE Arrows #-} module ShouldFail where g :: Int -> Int g = proc x -> f x -< x+1 where f = (*)