typeclass-free examples
point out ListT order issue in comment
clarify meaning of APlus' and AOr' type classes