Dictionary Translate Correct Ask AI
algebraic data type