A haskell library for type checking