| packages/nixpkgs/haskellPackages.type-eq | Type equality evidence you can carry around |
| packages/nixpkgs/haskellPackages.type-set | Type set |
| packages/nixpkgs/haskellPackages.type-map | Type-indexed maps |
| packages/nixpkgs/haskellPackages.type-ord | Type-level comparison operator |
| packages/nixpkgs/haskellPackages.type-fun | Collection of widely reimplemented type families |
| packages/nixpkgs/haskellPackages.type-int | Type Level 2s- and 16s- Complement Integers |
| packages/nixpkgs/haskellPackages.type-iso | Typeclasses for injective relations and isomorphisms between types |
| packages/nixpkgs/haskellPackages.type-rig | Classes for the rig (sums and products) of types |
| packages/nixpkgs/haskellPackages.type-sub-th | Substitute types for other types with Template Haskell |
| packages/nixpkgs/haskellPackages.lift-type | Lift a type from a Typeable constraint to a Template Haskell type |
| packages/nixpkgs/haskellPackages.type-sets | Type-level sets |
| packages/nixpkgs/haskellPackages.type-spec | Type Level Specification by Example |
| packages/nixpkgs/haskellPackages.type-list | Operations on type-level lists and tuples |
| packages/nixpkgs/haskellPackages.type-hint | Guide type inference with proxy values |
| packages/nixpkgs/haskellPackages.data-type | Basic type wrangling types and classes |
| packages/nixpkgs/haskellPackages.type-flip | |
| packages/nixpkgs/haskellPackages.type-tree | Tree representations of datatypes |
| packages/nixpkgs/haskellPackages.show-type | convert types into string values in haskell |
| packages/nixpkgs/haskellPackages.fake-type | A crossplatform library to simulate keyboard input |
| packages/nixpkgs/haskellPackages.type-of-html | High performance type driven html generation |
| packages/nixpkgs/haskellPackages.json-to-type | Automatic type declaration for JSON input data |
| packages/nixpkgs/haskellPackages._type | Dynamic casting library with support for arbitrary rank type kinds |
| packages/nixpkgs/haskellPackages.type-safe-avl | Type safe BST and AVL trees |
| packages/nixpkgs/haskellPackages.type-cache | Utilities for caching type families results |
| packages/nixpkgs/haskellPackages.type-level | Type-level programming library |
| packages/nixpkgs/haskellPackages.stack-type | The basic stack type |
| packages/nixpkgs/haskellPackages.regex-type | Type-level regular expressions |
| packages/nixpkgs/haskellPackages.image-type | Determine the type of an image by reading the first bytes |
| packages/nixpkgs/haskellPackages.type-unary | Type-level and typed unary natural numbers, inequality proofs, vectors |
| packages/nixpkgs/haskellPackages.type-level-tf | Type-level programming library (type families) |
| packages/nixpkgs/haskellPackages.type-spine | A spine-view on types |
| packages/nixpkgs/haskellPackages.type-level-bst | type-level binary search trees in haskell |
| packages/nixpkgs/haskellPackages.type-cereal | Type-level serialization of type constructors |
| packages/nixpkgs/haskellPackages.type-digits | Arbitrary-base type-level digits |
| packages/nixpkgs/haskellPackages.type-errors | Tools for writing better type errors |
| packages/nixpkgs/haskellPackages.primes-type | Type-safe prime numbers |
| packages/nixpkgs/haskellPackages.type-level-prng | Type level pseudorandom number generators |
| packages/nixpkgs/haskellPackages.type-level-show | Utilities for writing Show-like type families |
| packages/nixpkgs/haskellPackages.type-level-sets | Type-level sets and finite maps (with value-level counterparts) |
| packages/nixpkgs/haskellPackages.type-level-kv-list | Type level Key-Value list |
| packages/nixpkgs/haskellPackages.type-natural | Type-level natural and proofs of their properties |
| packages/nixpkgs/haskellPackages.type-compare | Type-level Ord compatibility layer |
| packages/nixpkgs/haskellPackages.type-machine | Type-level functions for record types |
| packages/nixpkgs/haskellPackages.type-aligned | Various type-aligned sequence data structures |
| packages/nixpkgs/haskellPackages.type-of-html-static | Optimize static parts of type-of-html |
| packages/nixpkgs/haskellPackages.type-prelude | Partial port of prelude to the type level |
| packages/nixpkgs/haskellPackages.compare-type | compare types of any kinds in haskell |
| packages/nixpkgs/haskellPackages.type-ord-spine-cereal | Generic type-level comparison of types |
| packages/nixpkgs/haskellPackages.haskell-type-exts | A type checker for Haskell/haskell-src-exts |
| packages/nixpkgs/haskellPackages.font-awesome-type | A Font Awesome data type enumerating all icon classes |
| packages/nixpkgs/haskellPackages.type-booleans | Type-level booleans via type-families |
| packages/nixpkgs/haskellPackages.type-level-numbers | Type level numbers implemented using type families |
| packages/nixpkgs/haskellPackages.type-errors-pretty | Combinators for writing pretty type errors easily |
| packages/nixpkgs/haskellPackages.type-equality | Data |
| packages/nixpkgs/haskellPackages.type-indexed-queues | Queues with verified and unverified versions |
| packages/nixpkgs/haskellPackages.type-structure | Type structure analysis |
| packages/nixpkgs/haskellPackages.type-functions | Emulation of type-level functions |
| packages/nixpkgs/haskellPackages.type-equality-check | Type equality check |
| packages/nixpkgs/haskellPackages.type-operators | Various type-level operators |
| packages/nixpkgs/haskellPackages.type-settheory | Sets and functions-as-relations in the type system |
| packages/nixpkgs/haskellPackages.type-level-integers | Provides integers lifted to the type level |
| packages/nixpkgs/haskellPackages.generic-type-asserts | Structural assertions on generic type representations |
| packages/nixpkgs/haskellPackages.type-level-natural-number | Simple type level natural numbers |
| packages/nixpkgs/haskellPackages.hindley-milner-type-check | Type inference for Hindley-Milner based languages |
| packages/nixpkgs/haskellPackages.ntype | N-ary sum/product types |
| packages/nixpkgs/haskellPackages.type-assertions | Runtime type assertions for testing |
| packages/nixpkgs/haskellPackages.type-reflection | Support functions to work with type representations |
| packages/nixpkgs/haskellPackages.clr-typed | A strongly typed Haskell interface to the CLR type system |
| packages/nixpkgs/haskellPackages.type-level-kv-list-esqueleto | Make Esqueleto handy with type-level-kv-list |
| packages/nixpkgs/haskellPackages.typed-fsm | A framework for strongly typed FSM |
| packages/nixpkgs/haskellPackages.typed-gui | GUI framework based on typed-fsm |
| packages/nixpkgs/haskellPackages.row-types | Open Records and Variants |
| packages/nixpkgs/haskellPackages.xml-types | Basic types for representing XML |
| packages/nixpkgs/haskellPackages.wkt-types | A library for working with .wkt files. |
| packages/nixpkgs/haskellPackages.dtd-types | Basic types for representing XML DTDs |
| packages/nixpkgs/haskellPackages.xcb-types | Parses XML files used by the XCB project |
| packages/nixpkgs/haskellPackages.lsp-types | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/haskellPackages.typed-wire | Language-independent type-safe communication |
| packages/nixpkgs/haskellPackages.uuid-types | Type definitions for Universally Unique Identifiers |
| packages/nixpkgs/haskellPackages.mime-types | Basic mime-type handling types and functions |
| packages/nixpkgs/haskellPackages.testing-type-modifiers | Data type modifiers for property based testing |
| packages/nixpkgs/haskellPackages.generic-type-functions | Familiar functions lifted to type-level functions on generic types |
| packages/nixpkgs/haskellPackages.type-combinators | A collection of data types for type-level programming |
| packages/nixpkgs/haskellPackages.typeof | Small script for inferring types |
| packages/nixpkgs/haskellPackages.typed-uuid | Phantom-Typed version of UUID |
| packages/nixpkgs/haskellPackages.typed-time | A strongly typed way to handle time and date formats |
| packages/nixpkgs/haskellPackages.casa-types | Types for Casa |
| packages/nixpkgs/haskellPackages.enum-types | small enum types |
| packages/nixpkgs/haskellPackages.asn1-types | ASN.1 types |
| packages/nixpkgs/haskellPackages.mcmc-types | Common types for sampling |
| packages/nixpkgs/haskellPackages.json-types | Basic types for representing JSON |
| packages/nixpkgs/haskellPackages.rest-types | Silk Rest Framework Types |
| packages/nixpkgs/haskellPackages.ldtk-types | Datatypes and Aeson instances for parsing LDtk |
| packages/nixpkgs/haskellPackages.irc-fun-types | Common types for IRC related packages |
| packages/nixpkgs/haskellPackages.cqrs-types | Command-Query Responsibility Segregation |
| packages/nixpkgs/haskellPackages.http-types | Generic HTTP types for Haskell (for both client and server code) |
| packages/nixpkgs/haskellPackages.type-interpreter | Interpreter for Template Haskell types |
| packages/nixpkgs/haskellPackages.type-level-kv-list-persistent | Make Persistent Raw SQL handy with type-level-kv-list |
| packages/nixpkgs/haskellPackages.base64-bytestring-type | A newtype around ByteString, for base64 encoding |
| packages/nixpkgs/haskellPackages.hist-pl-types | Types in the historical dictionary of Polish |