Minor edits
Remove Proc monad