nu-algebraic-data-types