This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
It can be useful (especially with PolyKinds) to get the
"bare" type (e.g. Either) of some parameterized type
(e.g. Either Char Int). This library provides closed
classes that can strip and reapply type arguments, as well
as useful utility functions. Here are some examples:
Force Left 1 to be of type Either Float a using a
partially-applied Proxy.
let t = (Left 1) `asApplied` (Proxy :: Proxy (Either Float))
:t t
t :: Either Float a
Do the same, but illustrating type application with ap