data/haskell-type-level-numbers-0.1.1.1/type-level-numbers.cabal:8: coudl ==> could, cloud data/haskell-type-level-numbers-0.1.1.1/type-level-numbers.cabal:11: folows ==> follows data/haskell-type-level-numbers-0.1.1.1/TypeLevel/Boolean.hs:8: notT ==> not data/haskell-type-level-numbers-0.1.1.1/TypeLevel/Boolean.hs:35: notT ==> not data/haskell-type-level-numbers-0.1.1.1/TypeLevel/Boolean.hs:36: notT ==> not data/haskell-type-level-numbers-0.1.1.1/TypeLevel/Boolean.hs:66: Exlusive ==> Exclusive data/haskell-type-level-numbers-0.1.1.1/TypeLevel/Number/Nat.hs:224: requred ==> required data/haskell-type-level-numbers-0.1.1.1/TypeLevel/Number/Nat.hs:236: comparion ==> comparison