ghost-buster

This package provides utilities for working with existential types.