ghost-buster

Existential type utilites

https://github.com/Lazersmoke/ghost-buster#readme

LTS Haskell 24.16:0.1.1.0
Stackage Nightly 2025-10-24:0.1.1.0
Latest on Hackage:0.1.1.0

See all snapshots ghost-buster appears in

BSD-3-Clause licensed by Sam Quinn
Maintained by [email protected]
This version can be pinned in stack with:ghost-buster-0.1.1.0@sha256:8a51f04979a8a84dd01a13f2fd27093db4d964baf64c28bb381645fff98fba3e,994

Module documentation for 0.1.1.0

Depends on 1 package(full list with versions):
base

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.