Liquid Types for Haskell
This package provides a plugin to verify Haskell programs. But most
likely you should be using the
liquidhaskell package instead,
which rexports this plugin together with necessary specifications for
definitions in the boot libraries.