checkAnswerDef :: Def
checkAnswerDef =
    Def "checkAnswer" ["answer", "capacities", "reqLvl", "q7"] (
      call "checkAnswer'" [C "pair" [C "o" [], C "o" []], V "answer", V "capacities", V "reqLvl", V "q7"]
    )
checkAnswerDef :: Def
checkAnswerDef =
    Def "checkAnswer" ["answer", "capacities", "reqLvl", "q7"] (
      call "checkAnswer'" [C "pair" [C "o" [], C "o" []], V "answer", V "capacities", V "reqLvl", V "q7"]
    )
checkAnswerDef =
    Def "checkAnswer" ["answer", "capacities", "reqLvl", "q7"] (
      call "checkAnswer'" [C "pair" [C "o" [], C "o" []], V "answer", V "capacities", V "reqLvl", V "q7"]
    )