Here is the place where the class Logic is instantiated for Haskell. Also the instances for Syntax an Category.
todo: - writing real functions