The haskell code for Cathoristic Logic