showDefinition :: Definition -> String
showDefinition (Requisite t) = showTerm t
showDefinition :: Definition -> String
showDefinition (Requisite t) = showTerm t
showDefinition (Requisite t) = showTerm t