| packages/nixpkgs/haskellPackages.dependent-sum | Dependent sum type |
| packages/nixpkgs/haskellPackages.hyperbole | Interactive HTML apps using type-safe serverside Haskell |
| packages/nixpkgs/haskellPackages.AlgorithmW | Example implementation of Algorithm W for Hindley-Milner type inference |
| packages/nixpkgs/haskellPackages.groundhog-th | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.network-uri-static | A small utility to declare type-safe static URIs |
| packages/nixpkgs/haskellPackages.version-natural | A simple version type |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.cassava-records | Auto-generation of records data type |
| packages/nixpkgs/haskellPackages.TrivialMonadWithUnitType | Trivial monad with Unit type |
| packages/nixpkgs/haskellPackages.network-service | Provide a service at the data type level |
| packages/nixpkgs/haskellPackages.twentefp-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.servant-cassava | Servant CSV content-type for cassava |
| packages/nixpkgs/haskellPackages.singleton-bool | Type level booleans |
| packages/nixpkgs/haskellPackages.LambdaDesigner | A type-safe EDSL for TouchDesigner written in Haskell |
| packages/nixpkgs/haskellPackages.fcf-composite | Type-level computation for composite using first-class-families |
| packages/nixpkgs/haskellPackages.growable-vector | A contiguous growable array type |
| packages/nixpkgs/haskellPackages.numeric-prelude | An experimental alternative hierarchy of numeric type classes |
| packages/nixpkgs/haskellPackages.unpacked-either | An unpacked either data type |
| packages/nixpkgs/haskellPackages.list-witnesses | Witnesses for working with type-level lists |
| packages/nixpkgs/haskellPackages.general-prelude | Prelude replacement using generalized type classes where possible |
| packages/nixpkgs/haskellPackages.dormouse-client | Simple, type-safe and testable HTTP client |
| packages/nixpkgs/haskellPackages.webgear-openapi | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-swagger | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.finitary-derive | Flexible and easy deriving of type classes for finitary types |
| packages/nixpkgs/haskellPackages.category-printf | Highbrow approach to type-safe printf format specifications |
| packages/nixpkgs/haskellPackages.mime-directory | A library for parsing/printing the text/directory mime type |
| packages/nixpkgs/haskellPackages.convex-schema-parser | A type-safe client generator for Convex for both Rust and Python |
| packages/nixpkgs/haskellPackages.terminal-text | Text data type for styled terminal output, including all standard ANSI effects (bold, italic, blinking) and ANSI / 256 / truecolor colors support for Unix and Windows (whenever possible) |
| packages/nixpkgs/haskellPackages.enumerable | A typeclass for enumerating all values a type |
| packages/nixpkgs/haskellPackages.heterolist | A heterogeneous list type |
| packages/nixpkgs/haskellPackages.servant-xml-conduit | Servant XML content-type with support for xml-conduit |
| packages/nixpkgs/haskellPackages.web-routes-generics | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.witch_1_3_0_1 | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.PeanoWitnesses | GADT type witnesses for Peano-style natural numbers |
| packages/nixpkgs/haskellPackages.broadcast-chan | Closable, fair, single-wakeup channel type that avoids 0 reader space leaks |
| packages/nixpkgs/haskellPackages.membership | Indices for type level lists |
| packages/nixpkgs/haskellPackages.first-class-families | First-class type families |
| packages/nixpkgs/haskellPackages.versioning | Type-safe data versioning |
| packages/nixpkgs/haskellPackages.lambdacube | A simple lambda cube type checker |
| packages/nixpkgs/haskellPackages.increments | type classes for incremental updates to data |
| packages/nixpkgs/haskellPackages.apply-unordered | Apply a function to an argument specified by a type level Nat |
| packages/nixpkgs/haskellPackages.dimensions | Safe type-level dimensionality for multidimensional data |
| packages/nixpkgs/haskellPackages.Validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.hydrogen-version | Hydrogen Version Type |
| packages/nixpkgs/haskellPackages.validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.persistent | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.positive-integer | Type of positive integers |
| packages/nixpkgs/haskellPackages.stringable | A Stringable type class, in the spirit of Foldable and Traversable |
| packages/nixpkgs/haskellPackages.tyfam-witnesses | Provide proof witnesses for closed type family evaluation |
| packages/nixpkgs/haskellPackages.variable-media-field | Simple type for representing one of several media types |
| packages/nixpkgs/haskellPackages.polysemy-keyed-state | Effect for a set of stateful values indexed by a type of keys |
| packages/nixpkgs/haskellPackages.webgear-core_1_5_0 | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.monad-primitive | Type class for monad transformers stack with pirimitive base monad |
| packages/nixpkgs/haskellPackages.htree_0_2_0_0 | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.formatting | Combinator-based type-safe formatting (like printf() or FORMAT) |
| packages/nixpkgs/haskellPackages.first-class-patterns | First class patterns and pattern matching, using type families |
| packages/nixpkgs/haskellPackages.easytensor | Pure, type-indexed haskell vector, matrix, and tensor library |
| packages/nixpkgs/haskellPackages.templatepg | A PostgreSQL access library with compile-time SQL type inference |
| packages/nixpkgs/haskellPackages.multistate | like mtl's ReaderT / WriterT / StateT, but more than one contained value/type |
| packages/nixpkgs/haskellPackages.postgres-options | An Options type representing options for postgres connections |
| packages/nixpkgs/haskellPackages.fingertree-tf | Generic finger-tree structure using type families |
| packages/nixpkgs/haskellPackages.instance-control | Controls how the compiler searches for instances using type families |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/haskellPackages.jsonschema-gen | JSON Schema generator from Algebraic data type |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gnomevfs | A type class for cast functions of Gtk2hs: gnomevfs package |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtkglext | A type class for cast functions of Gtk2hs: gtkglext package |
| packages/nixpkgs/haskellPackages.dynamic-pipeline | Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP) |
| packages/nixpkgs/haskellPackages.purescript-iso | Isomorphic trivial data type definitions over JSON |
| packages/nixpkgs/haskellPackages.memory-hexstring | Hex-string type for Haskell Web3 library |
| packages/nixpkgs/haskellPackages.bytestring-from | A type-class to convert values from ByteString |
| packages/nixpkgs/haskellPackages.collection-json | Collection+JSON—Hypermedia Type Tools |
| packages/nixpkgs/haskellPackages.data-validation | A library for creating type safe validations |
| packages/nixpkgs/haskellPackages.aeson-generic-default | Type-level default fields for aeson Generic FromJSON parser |
| packages/nixpkgs/haskellPackages.JSON-Combinator | A combinator library on top of a generalised JSON type |
| packages/nixpkgs/haskellPackages.data-accessor-monads-tf | Use Accessor to access state in monads-tf State monad type family |
| packages/nixpkgs/haskellPackages.apply-unordered-mono | Apply functions to arguments in an unordered type-directed fashion |
| packages/nixpkgs/haskellPackages.aztecs-transform | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.aztecs-hierarchy | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.sorted-list_0_3_1_0 | Type-enforced sorted lists and related functions |
| packages/nixpkgs/haskellPackages.ziptastic-client | A type-safe client for the Ziptastic API for doing forward and reverse geocoding |
| packages/nixpkgs/haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| packages/nixpkgs/haskellPackages.indexed-list-literals | Type safe indexed list literals |
| packages/nixpkgs/haskellPackages.ConstraintKinds | Repackages standard type classes with the ConstraintKinds extension |
| packages/nixpkgs/haskellPackages.data-combinator-gen | Generate a special combinator from any data type |
| packages/nixpkgs/haskellPackages.web-routes-boomerang | Use boomerang for type-safe URL parsers/printers |
| packages/nixpkgs/haskellPackages.japanese-calendar | Data type of Japanese Calendar (Wareki) |
| packages/nixpkgs/haskellPackages.constraint-manip | Some conviencience type functions for manipulating constraints |
| packages/nixpkgs/haskellPackages.guess-combinator | Generate simple combinators given their type |
| packages/nixpkgs/haskellPackages.network-socket-options | Type-safe, portable alternative to getSocketOption/setSocketOption |
| packages/nixpkgs/haskellPackages.flexible-defaults | Generate default function implementations for complex type classes |
| packages/nixpkgs/haskellPackages.Strafunski-ATermLib | An abstract data type designed for the exchange of tree-like data structures |
| packages/nixpkgs/haskellPackages.funspection | Type-level function utilities |
| packages/nixpkgs/haskellPackages.exceptional | Essentially the Maybe type with error messages |
| packages/nixpkgs/haskellPackages.classyplate | Fuseable type-class based generics |
| packages/nixpkgs/haskellPackages.twentefp-rosetree | RoseTree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.cspmchecker | A command line type checker for CSPM files |
| packages/nixpkgs/haskellPackages.axiomatic-classes | Specify axioms for type classes and quickCheck all available instances |
| packages/nixpkgs/haskellPackages.matchable_0_2 | A type class for Matchable Functors |
| packages/nixpkgs/haskellPackages.smallstring | A Unicode text type, optimized for low memory overhead |
| packages/nixpkgs/haskellPackages.simple-media-timestamp | A very simple timestamp type |