Haskell module for analyzing quantum logics