HaskellForMaths-0.4.0: Combinatorics, group theory, commutative algebra, non-commutative algebra