Tool set for solving simple group theory problems in Haskell