importing (<=) from GHC.TypeLits

[adam vogt]

http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/syntax-extns.html#explicit-namespaces
is the trick

On Sat, Mar 15, 2014 at 12:47 PM, Henning Thielemann
<lemming at henning-thielemann.de> wrote:
> I want to import Nat and type-level (<=) from GHC.TypeLits:
>
>   import GHC.TypeLits (Nat, (<=))
>
> "Nat" is found this way, but (<=) is not:
>
>   Module ‘GHC.TypeLits’ does not export ‘(<=)’
>
> What is the trick?
>
> The doc only shows the anonymous import:
>
> http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/promotion.html
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users