-- do not forget set -farrows in GHCi import Control Arrow returnA idA

1
2
3
4
5
6
7
8
9
-- do not forget :set -farrows in GHCi
import Control.Arrow (returnA)
idA :: a -> a
idA = proc a -> returnA -< a
plusOne :: Int -> Int
plusOne = proc a -> returnA -< (a+1)