Haskell module to anaylze quantum logics