note on forever tool in the stepfile
mv Naive mod
rename naive test mod
rm empty test
bind should use concat not flatten
basic combinators rewritten using monad