A small package that demonstrates how to use LiquidHaskell as a GHC plugin - View it on GitHub