| packages/nixpkgs/haskellPackages.ron-rdt | Replicated Data Types (RON-RDT) |
| packages/nixpkgs/haskellPackages.wkt | Parsec parsers and types for geographic data in well-known text (WKT) format |
| packages/nixpkgs/haskellPackages.hw-prim | Primitive functions and data types |
| packages/nixpkgs/haskellPackages.oops | Combinators for handling errors of many types in a composable way |
| packages/nixpkgs/haskellPackages.curry | Curry types |
| packages/nixpkgs/haskellPackages.facts | Refined types |
| packages/nixpkgs/haskellPackages.aws-arn | Types and optics for manipulating Amazon Resource Names (ARNs) |
| packages/nixpkgs/haskellPackages.data-fix | Fixpoint data types |
| packages/nixpkgs/haskellPackages.rpm-nvr | RPM package name-version-release data types |
| packages/nixpkgs/haskellPackages.int-cast | Checked conversions between integral types |
| packages/nixpkgs/haskellPackages.smash | Combinators for Maybe types |
| packages/nixpkgs/haskellPackages.open-adt | Open algebraic data types |
| packages/nixpkgs/haskellPackages.teeth | Dental data types |
| packages/nixpkgs/haskellPackages.ten-lens | Lenses for the types in the ten package |
| packages/nixpkgs/haskellPackages.OddWord | Provides a wrapper for deriving word types with fewer bits |
| packages/nixpkgs/haskellPackages.aws-easy | Helper function and types for working with amazonka |
| packages/nixpkgs/haskellPackages.ddate | Discordian Date Types for Haskell |
| packages/nixpkgs/haskellPackages.basic | Lifting values from base types |
| packages/nixpkgs/haskellPackages.sized | Sized sequence data-types |
| packages/nixpkgs/haskellPackages.dia-base | An EDSL for teaching Haskell with diagrams - data types |
| packages/nixpkgs/haskellPackages.bimap | Bidirectional mapping between two key types |
| packages/nixpkgs/haskellPackages.vault | a persistent store for values of arbitrary types |
| packages/nixpkgs/haskellPackages.hs2ps | Translate Haskell types to PureScript |
| packages/nixpkgs/haskellPackages.hdiff | Pattern-Expression-based differencing of arbitrary types |
| packages/nixpkgs/haskellPackages.braid | Types and functions to work with braids and Khovanov homology |
| packages/nixpkgs/haskellPackages.pure-sum | Derive fromString/toString-like for pure sum types |
| packages/nixpkgs/haskellPackages.shade | A control structure used to combine heterogenous types with delayed effects |
| packages/nixpkgs/haskellPackages.enum-text | A text rendering and parsing toolkit for enumerated types |
| packages/nixpkgs/haskellPackages.key-vault | Store of values of arbitrary types |
| packages/nixpkgs/haskellPackages.enum-utf8 | An experimental Utf8 parsing toolkit for enumerated types |
| packages/nixpkgs/haskellPackages.ema-extra | Useful route types for Ema |
| packages/nixpkgs/haskellPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.data-fix-cse | Common subexpression elimination for the fixploint types |
| packages/nixpkgs/haskellPackages.stm-chans | Additional types of channels for STM |
| packages/nixpkgs/haskellPackages.star-to-star | the * -> * types, operators, and covariant instances |
| packages/nixpkgs/haskellPackages.snap-core | Snap: A Haskell Web Framework (core interfaces and types) |
| packages/nixpkgs/haskellPackages.Tensor | Tensor data types |
| packages/nixpkgs/haskellPackages.avers-api | Types describing the core and extended Avers APIs |
| packages/nixpkgs/haskellPackages.basics | Modules for primitive types |
| packages/nixpkgs/haskellPackages.index-core | Indexed Types |
| packages/nixpkgs/haskellPackages.boring | Boring and Absurd types |
| packages/nixpkgs/haskellPackages.forest | Tree and Forest types |
| packages/nixpkgs/haskellPackages.wide-word | Data types for large but fixed width signed and unsigned integers |
| packages/nixpkgs/haskellPackages.finite | Finite ranges via types |
| packages/nixpkgs/haskellPackages.wiring | Wiring, promotion and demotion of types |
| packages/nixpkgs/haskellPackages.orbits | Types and functions for Kepler orbits |
| packages/nixpkgs/haskellPackages.circus | Types and a small DSL for working with netlistsvg |
| packages/nixpkgs/haskellPackages.data-base | Utilities for accessing and comparing types based on so called bases - representations with limited polymorphism |
| packages/nixpkgs/haskellPackages.data-named | Data types for named entities |
| packages/nixpkgs/haskellPackages.kind-apply | Utilities to work with lists of types |
| packages/nixpkgs/haskellPackages.target | Generate test-suites from refinement types |
| packages/nixpkgs/haskellPackages.poker-base | A library for core poker types |
| packages/nixpkgs/haskellPackages.strict | Strict data types and String IO |
| packages/nixpkgs/haskellPackages.uuid-aeson | Aeson types for UUID instances |
| packages/nixpkgs/haskellPackages.derive | A program and library to derive instances for data types |
| packages/nixpkgs/haskellPackages.intern | Efficient hash-consing for arbitrary data types |
| packages/nixpkgs/haskellPackages.dep-t-value | Pair resources files with types within your program |
| packages/nixpkgs/haskellPackages.binrep | Encode precise binary representations directly in types |
| packages/nixpkgs/haskellPackages.word24 | 24-bit word and int types for GHC |
| packages/nixpkgs/haskellPackages.schema | Encoding-independent schemas for Haskell data types |
| packages/nixpkgs/haskellPackages.tracer | Tracing utilities for Functor/Applicative/Monad types |
| packages/nixpkgs/haskellPackages.srcloc | Data types for managing source code locations |
| packages/nixpkgs/haskellPackages.AC-Colour | Efficient RGB colour types |
| packages/nixpkgs/haskellPackages.asn1-parse | Simple monadic parser for ASN1 stream types |
| packages/nixpkgs/haskellPackages.bit-array | A bit array (aka bitset, bitmap, bit vector) API for numeric types |
| packages/nixpkgs/haskellPackages.gogol-core | Core data types and functionality for Gogol libraries |
| packages/nixpkgs/haskellPackages.extra-data-yj | Additional data types |
| packages/nixpkgs/haskellPackages.time-units | A basic library for defining units of time as types |
| packages/nixpkgs/haskellPackages.vinyl-json | Provide json instances automagically to vinyl types |
| packages/nixpkgs/haskellPackages.valida | Simple applicative validation for product types, batteries included! |
| packages/nixpkgs/haskellPackages.SciBaseTypes | Base types and classes for statistics, sciences and humanities |
| packages/nixpkgs/haskellPackages.http-api-data-qq | Quasiquoter for building URLs with ToHttpApiData types |
| packages/nixpkgs/haskellPackages.c2hs-extra | Convenient marshallers for complicate C types |
| packages/nixpkgs/haskellPackages.sugar-data | Convert sugar to common data types for code generation |
| packages/nixpkgs/haskellPackages.binary-io | Read and write values of types that implement Binary |
| packages/nixpkgs/haskellPackages.tagged | Haskell 98 phantom types to avoid unsafely passing dummy arguments |
| packages/nixpkgs/haskellPackages.th-compat | Backward- (and forward-)compatible Quote and Code types |
| packages/nixpkgs/haskellPackages.xml-isogen | Generate XML-isomorphic types |
| packages/nixpkgs/haskellPackages.dom-events | DOM Events expressed as Haskell types |
| packages/nixpkgs/haskellPackages.generic-lexicographic-order | Derive Bounded and Enum for sum types and Enum for product types |
| packages/nixpkgs/haskellPackages.linear-smc | Build SMC morphisms using linear types |
| packages/nixpkgs/haskellPackages.elm-export | A library to generate Elm types from Haskell source |
| packages/nixpkgs/haskellPackages.nat-optics | Refinement types for natural numbers with an optics interface |
| packages/nixpkgs/haskellPackages.primitive-unlifted_2_2_0_0 | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.primitive-unlifted_0_1_3_1 | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.world-peace | Open Union and Open Product Types |
| packages/nixpkgs/haskellPackages.hslua-aeson | Allow aeson data types to be used with Lua |
| packages/nixpkgs/haskellPackages.from-string | Instances of 'From' for common string types |
| packages/nixpkgs/haskellPackages.linear-base | Standard library for linear types |
| packages/nixpkgs/haskellPackages.repa-scalar | Scalar data types and conversions |
| packages/nixpkgs/haskellPackages.polynom | Polynomial types and operations |
| packages/nixpkgs/haskellPackages.witness | values that witness types |
| packages/nixpkgs/haskellPackages.numbers | Various number types |
| packages/nixpkgs/haskellPackages.text-binary | Binary instances for text types |
| packages/nixpkgs/haskellPackages.string-conv | Standardized conversion between string types |
| packages/nixpkgs/haskellPackages.strict-lens | Lenses for types in strict package |
| packages/nixpkgs/haskellPackages.checked | Bounds-checking integer types |
| packages/nixpkgs/haskellPackages.cereal-time | Serialize instances for types from `time` package |
| packages/nixpkgs/haskellPackages.delta-store | Facilities for storing a Haskell value, using delta types |
| packages/nixpkgs/haskellPackages.http-common | Common types for HTTP clients and servers |