Title: Isomorphic transformations for algebraic datatypes