-- pos "entails"

showAlignArity :: ALIGN_ARITY -> String
showAlignArity ar = case ar of
  AA_InjectiveAndTotal -> "1"
  AA_Injective -> "?"
  AA_Total -> "+"
  AA_NeitherInjectiveNorTotal -> "*"
showAlignArity :: ALIGN_ARITY -> String
showAlignArity ar = case ar of
  AA_InjectiveAndTotal -> "1"
  AA_Injective -> "?"
  AA_Total -> "+"
  AA_NeitherInjectiveNorTotal -> "*"
showAlignArity ar = case ar of
  AA_InjectiveAndTotal -> "1"
  AA_Injective -> "?"
  AA_Total -> "+"
  AA_NeitherInjectiveNorTotal -> "*"