isomorphism -> Identity arrow
string concatenation, Unit element = "" (empty string)
multiplication, Unit element = 1
one element is the Unit element