Example 2: a question-answering system

Haskell code

Similar to the translator example, but

• we also need to insert a transfer function that works on the abstract syntax trees.
• the output is in the same language as the input.