Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Would representation of free magma be a binary tree?
With free monoid we have associativity and thus we don't care about order of application of it's binary operation, that's why it's list, isn't it?
(more specifically, data Tree a = Leaf a | Node (Tree a) (Tree a) - one with values on leafs)
data Tree a = Leaf a | Node (Tree a) (Tree a)