successfully wrote proof-of-concept for algebraic shape datatype