ghost-buster: Existential type utilites

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


This package provides utilities for working with existential types.

[Skip to ReadMe]


Change logNone available
Dependenciesbase (>=4.7 && <5) [details]
Copyright2017 Sam Quinn
AuthorSam Quinn
Home page
Source repositoryhead: git clone
UploadedMon Aug 28 03:13:05 UTC 2017 by lazersmoke



Maintainers' corner

For package maintainers and hackage trustees

Readme for ghost-buster-

[back to package description]

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.