*Main> let x = Cons 100 (Cons 200 (Cons 400 Nil)) *Main> let f = \x -> Cons (x+1) (Cons (x+10) (Cons (x*x) Nil)) *Main> x >>= f Cons 101 (Cons 110 (Cons 10000 (Cons 201 (Cons 210 (Cons 40000 (Cons 401 (Cons 410 (Cons 160000 Nil))))))))