@johnabs

So he found a decidable fragment. These are pretty common. But it is pretty neat that it is already part of Haskell's category flavored logic system.