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