Data.Magma
class Magma a
data BinaryTree a
cataBinaryTree
anaBinaryTree
foldMap
_Leaf
_Node
nodeLeft
nodeRight