View
Arrows
Void
free
value
Fail
Pure
Tell
view
Arrows
Leaf
Node