Ghost Buster

This package provides an easier way to work with existential data types. Normally, GHC will reject types with deeply nested foralls in them. This package uses a data contructor to hide that away, so you can nest as deeply as you like.

Example code is in the examples folder.