Resolving dependencies...
Configuring type-level-numbers-0.1...
Building type-level-numbers-0.1...
Preprocessing library type-level-numbers-0.1...
[ 1 of 10] Compiling TypeLevel.Util   ( TypeLevel/Util.hs, dist/build/TypeLevel/Util.o )
[ 2 of 10] Compiling TypeLevel.Number.Int.Types ( TypeLevel/Number/Int/Types.hs, dist/build/TypeLevel/Number/Int/Types.o )
[ 3 of 10] Compiling TypeLevel.Reify  ( TypeLevel/Reify.hs, dist/build/TypeLevel/Reify.o )
[ 4 of 10] Compiling TypeLevel.Boolean ( TypeLevel/Boolean.hs, dist/build/TypeLevel/Boolean.o )
[ 5 of 10] Compiling TypeLevel.Number.Nat.Types ( TypeLevel/Number/Nat/Types.hs, dist/build/TypeLevel/Number/Nat/Types.o )
[ 6 of 10] Compiling TypeLevel.Number.Nat.TH ( TypeLevel/Number/Nat/TH.hs, dist/build/TypeLevel/Number/Nat/TH.o )
[ 7 of 10] Compiling TypeLevel.Number.Classes ( TypeLevel/Number/Classes.hs, dist/build/TypeLevel/Number/Classes.o )
[ 8 of 10] Compiling TypeLevel.Number.Nat ( TypeLevel/Number/Nat.hs, dist/build/TypeLevel/Number/Nat.o )

TypeLevel/Number/Nat.hs:143:28:
    Illegal operator ‘Lesser’ in type ‘(I n) `Lesser` $(natT 32768)’
      Use TypeOperators to allow operators in types
Failed to install type-level-numbers-0.1
cabal: Error: some packages failed to install:
type-level-numbers-0.1 failed during the building phase. The exception was:
ExitFailure 1