Bump upper bound on base to fix build under GHC 7.8.
Merge pull request #2 from mboes/ghc-7.8-fix

Bump upper bound on base to fix build under GHC 7.8. Thanks Mathieu Boespflug!
Ensures the result of funResultTy is consistent with unification.

The previous version of funResultTy wouldn't return
@funResultTy ANY _ = ANY@ as unification hints, so
the new behavior is less surprising.
Merge pull request #4 from facundominguez/funResultTy-unify

Ensures the result of funResultTy is consistent with unification.
Merge branch 'development'
support base < 5
version 0.2.0.0
version 0.2.0.0
Merge branch 'release-0.2.0.0'
changelog
Make tests from examples in Haddock comments.
Implement encoding for higher-kinded variables.

Now it is possible to write types as: ANY1 -> ANY ANY1

Types with constraints can be written as:
Dict (Monad ANY) -> ANY1 -> ANY ANY1

reifyConstraints can be used to produce the Dict argument:
reifyConstraints return :: Dict (Monad m) -> a -> m a

And the type representation of the polymorphic type can be obtained
as usual:

typeOf (reifyConstraints return :: Dict (Monad ANY) -> ANY1 -> ANY ANY1)
Implement backward compatibility for GHC 7.6.3.
Implement backwards compatibility for ghc-7.4.2.