https://123deta.com/document/y4gjrl9y-algebraic-datatype-data-nm-data-foo-alice-b.html