Group theory

Are there any Haskell libraries or programs related to group theory? I am taking a class and it seems like Haskell would be a good programming language for exploring/reasoning about group theory. What I had in mind was perhaps you could have a function which takes a list(set) and a function with two arguments(binary operator) and checks to see whether or not it is a group. I think it might be a fun exercies to write myself but I'd like to see if it's already been done or what you guys think about it. Eric Wohlstadter UCDavis Software Engineering