changing algebraic datatype ssyntax