some perfectionism is in order
from bind to fish and join
bind and join from fish
tree, according to http://oxij.org/activity/itmo/fp/2012/
fold for Tree
small changes
some functors and monads
IO implemented