A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.