importing (<=) from GHC.TypeLits

Henning Thielemann lemming at
Sat Mar 15 16:47:56 UTC 2014

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:

More information about the Glasgow-haskell-users mailing list