acme-smuggler: Smuggle arbitrary values in ()

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.



Please see

[Skip to ReadMe]


Change logNone available
Dependenciesbase (>=4.7 && <5) [details]
Copyright2016 Ben Clifford
AuthorBen Clifford <>
MaintainerBen Clifford <>
Home page
Source repositoryhead: git clone
UploadedSun Dec 11 11:10:39 UTC 2016 by benc



Maintainers' corner

For package maintainers and hackage trustees

Readme for acme-smuggler-

[back to package description]

ACME Smuggler

The () type has only one value, also called () with no internal structure.

Nevertheless, acme-smuggler allows you to smuggle arbitrary values into () and discover them later:

> x = smuggle "hello"
> :t x
x :: ()

> y = smuggle (7 :: Integer)
> :t y
y :: ()

> discover x :: Maybe String
Just "hello"
> discover y :: Maybe Integer
Just 7
> discover x :: Maybe Integer