eike_welk/algebraic-types-python archive