#functional programming #fp #category theory #bind #>>= #computation context #wrapper #haskell #chaining