common:algebraic_types