| packages/nixpkgs/haskellPackages.cased | Track string casing in its type |
| packages/nixpkgs/haskellPackages.trasa | Type Safe Web Routing |
| packages/nixpkgs/haskellPackages.prim-ref | Primitive byte array with type variable |
| packages/nixpkgs/haskellPackages.union | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.usb-safe | Type-safe communication with USB devices |
| packages/nixpkgs/haskellPackages.ifcxt | put if statements within type constraints |
| packages/nixpkgs/haskellPackages.fay-text | Fay Text type represented as JavaScript strings |
| packages/nixpkgs/haskellPackages.deep-map | Deeply-nested, multiple key type maps |
| packages/nixpkgs/haskellPackages.bool8 | Alternative Bool type stored as byte |
| packages/nixpkgs/haskellPackages.ioctl | Type-safe I/O control package |
| packages/nixpkgs/haskellPackages.duet | A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell |
| packages/nixpkgs/haskellPackages.effet | An Effect System based on Type Classes |
| packages/nixpkgs/haskellPackages.djinn | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.sqlc-hs | Generate type-safe Haskell code from SQL via https://github.com/sqlc-dev/sqlc. |
| packages/nixpkgs/haskellPackages.witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.set-with | Set of elements sorted by a different data type |
| packages/nixpkgs/haskellPackages.Digit | A data-type representing digits 0-9 |
| packages/nixpkgs/haskellPackages.c2hs | C->Haskell FFI tool that gives some cross-language type safety |
| packages/nixpkgs/haskellPackages.ddc-core | Disciplined Disciple Compiler core language and type checker |
| packages/nixpkgs/haskellPackages.units | A domain-specific type system for dimensional analysis |
| packages/nixpkgs/haskellPackages.mmzk-env | Read environment variables into a user-defined data type |
| packages/nixpkgs/haskellPackages.sieve | Sieve is an implementation of the Sieve abstract data type |
| packages/nixpkgs/haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.model | Derive a model of a data type using Generics |
| packages/nixpkgs/haskellPackages.yesod | Creation of type-safe, RESTful web applications |
| packages/nixpkgs/haskellPackages.padic | Fast, type-safe p-adic arithmetic |
| packages/nixpkgs/haskellPackages.motor | Type-safe effectful state machines in Haskell |
| packages/nixpkgs/haskellPackages.laika | Minimalistic type-checked compile-time template engine |
| packages/nixpkgs/haskellPackages.digit | A data-type representing digits 0-9 and other combinations |
| packages/nixpkgs/haskellPackages.json-spec | Type-level JSON specification |
| packages/nixpkgs/haskellPackages.http-pony | A type unsafe http library |
| packages/nixpkgs/haskellPackages.mmtl-base | MonadBase type-class for mmtl |
| packages/nixpkgs/haskellPackages.o-clock | Type-safe time library |
| packages/nixpkgs/haskellPackages.paths | Library for representing and manipulating type-safe file paths |
| packages/nixpkgs/haskellPackages.valid | Type isomorphic to `Either` with `Applicative` instance which combines errors |
| packages/nixpkgs/haskellPackages.scanf | Easy and type-safe format strings for parsing and printing |
| packages/nixpkgs/haskellPackages.djinn-th | Generate executable Haskell code from a type |
| packages/nixpkgs/haskellPackages.ditto | ditto is a type-safe HTML form generation and validation library |
| packages/nixpkgs/haskellPackages.fast-mult | Numeric type with asymptotically faster multiplications |
| packages/nixpkgs/haskellPackages.uxadt | Cross-language extensible representation for algebraic data type instances |
| packages/nixpkgs/haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| packages/nixpkgs/haskellPackages.EsounD | Type-safe bindings to EsounD (ESD; Enlightened Sound Daemon) |
| packages/nixpkgs/haskellPackages.i3ipc | A type-safe wrapper around i3's IPC |
| packages/nixpkgs/haskellPackages.htree | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.no-value | A type class for choosing sentinel-like values |
| packages/nixpkgs/haskellPackages.zippo | A simple lens-based, generic, heterogenous, type-checked zipper library |
| packages/nixpkgs/haskellPackages.make-monofoldable-foldable | Make a MonoFoldable type into an ordinary Foldable type |
| packages/nixpkgs/haskellPackages.colors | A type for colors |
| packages/nixpkgs/haskellPackages.url-bytes | Memory efficient url type and parser |
| packages/nixpkgs/haskellPackages.path-like | PathLike, FileLike and DirLike type classes for the Path library |
| packages/nixpkgs/haskellPackages.haste-app | Framework for type-safe, distributed web applications |
| packages/nixpkgs/haskellPackages.core-text | A rope type based on a finger tree over UTF-8 fragments |
| packages/nixpkgs/haskellPackages.thrist | Type-threaded list |
| packages/nixpkgs/haskellPackages.text-utf8 | An efficient packed UTF-8 backed Unicode text type |
| packages/nixpkgs/haskellPackages.sheets | Spreadsheet type for composite |
| packages/nixpkgs/haskellPackages.free-foil | Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads) |
| packages/nixpkgs/haskellPackages.beam-core | Type-safe, feature-complete SQL query and manipulation interface for Haskell |
| packages/nixpkgs/haskellPackages.reader | A reader data type with all the bits |
| packages/nixpkgs/haskellPackages.HappyTree | Type Safe and End to End Decision Tree |
| packages/nixpkgs/haskellPackages.ClassLaws | Stating and checking laws for type class methods |
| packages/nixpkgs/haskellPackages.djinn-lib | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.djinn-ghc | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.fixed-list | A fixed length list type |
| packages/nixpkgs/haskellPackages.hdbc-tuple | Type save tuples for HDBC |
| packages/nixpkgs/haskellPackages.basic-lens | Basic lens type and functions |
| packages/nixpkgs/haskellPackages.data-clist | Simple functional ring type |
| packages/nixpkgs/haskellPackages.hybrid | A implementation of a type-checker for Lambda-H |
| packages/nixpkgs/haskellPackages.sorted | Efficient, type-safe sorted sequences |
| packages/nixpkgs/haskellPackages.symbol | A 'Symbol' type for fast symbol comparison |
| packages/nixpkgs/haskellPackages.minlen | Express the minimum length of a container in its type |
| packages/nixpkgs/haskellPackages.MultiChor | Type-safe and efficient choreographies with location-set polymorphism |
| packages/nixpkgs/haskellPackages.ascii-char | A Char type representing an ASCII character |
| packages/nixpkgs/haskellPackages.hslua-list | Opinionated, but extensible Lua list type |
| packages/nixpkgs/haskellPackages.mangle | Convert C++ type signatures to their mangled form |
| packages/nixpkgs/haskellPackages.error-list | A useful type for collecting error messages |
| packages/nixpkgs/haskellPackages.tensor | A completely type-safe library for linear algebra |
| packages/nixpkgs/haskellPackages.ribbit | [Unmaintained] Type-level Relational DB combinators |
| packages/nixpkgs/haskellPackages.prim-array | Primitive byte array with type variable |
| packages/nixpkgs/haskellPackages.unitym | A monad type class shared between web services |
| packages/nixpkgs/haskellPackages.static | Type-safe and interoperable static values and closures |
| packages/nixpkgs/haskellPackages.open-union | Extensible, type-safe unions |
| packages/nixpkgs/haskellPackages.userid | The UserId type and useful instances for web development |
| packages/nixpkgs/haskellPackages.spooky | Unified API for phantom typed newtypes and type aliases |
| packages/nixpkgs/haskellPackages.hspec-laws | Document and test laws for standard type classes |
| packages/nixpkgs/haskellPackages.data-store | Type safe, in-memory dictionary with multidimensional keys |
| packages/nixpkgs/haskellPackages.http-media | Processing HTTP Content-Type and Accept headers |
| packages/nixpkgs/haskellPackages.data-ascii | Type-safe, bytestring-based ASCII values |
| packages/nixpkgs/haskellPackages.layers | Modular type class machinery for monad transformer stacks |
| packages/nixpkgs/haskellPackages.ghc-dump-tree | Dump GHC's parsed, renamed, and type checked ASTs |
| packages/nixpkgs/haskellPackages.monad-fork | Type class for monads which support a fork operation |
| packages/nixpkgs/haskellPackages.named-text | A parameterized named text type and associated functionality |
| packages/nixpkgs/haskellPackages.yesod-core | Creation of type-safe, RESTful web applications |
| packages/nixpkgs/haskellPackages.hw-vector | Vector type with convenient typeclass instances |
| packages/nixpkgs/haskellPackages.reform | reform is a type-safe HTML form generation and validation library |
| packages/nixpkgs/haskellPackages.monad-time | Type class for monads which carry the notion of the current time |
| packages/nixpkgs/haskellPackages.monads-tf | Monad classes, using type families |
| packages/nixpkgs/haskellPackages.apiary | Simple and type safe web framework that generate web API documentation |
| packages/nixpkgs/haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| packages/nixpkgs/haskellPackages.fcf-graphs | Type-level version of algebraic-graphs |
| packages/nixpkgs/haskellPackages.lol-typing | Type inferencer for LOL (λω language) |