Pastie Support Pastie or read my Pastie << self blog

Language: ActionScript C/C++ CSS Diff HTML (ERB / Rails) HTML / XML Java Javascript Objective C/C++ Pascal Perl PHP Plain text Python Ruby Ruby (on Rails) Shell Script (Bash) SQL YAML  

## mark a section (Learn more)

This paste will be private.

x :: Int f :: Int -> Maybe Int g :: Int -> Maybe Int -- Task: evaluate g (f x) and abstract out Maybe. case (f x) of Nothing -> Nothing Just y -> case (g y) of Nothing -> Nothing Just z -> z -- equiv to f x >>= \y -> g y >>= \z -> return z -- equiv to do y <- f x z <- g y return z -- equiv to y x >>= g