| packages/nixpkgs/haskellPackages.dimensional-tf | Statically checked physical dimensions, implemented using type families |
| packages/nixpkgs/haskellPackages.vector-bytestring | ByteStrings as type synonyms of Storable Vectors of Word8s |
| packages/nixpkgs/haskellPackages.th-constraint-compat | Compatibility for type constraint template |
| packages/nixpkgs/haskellPackages.constrained-some | Existential type that can be constrained |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra_0_5 | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/haskellPackages.explicit-exception | Exceptions which are explicit in the type signature |
| packages/nixpkgs/haskellPackages.dynamic-linker-template | Automatically derive dynamic linking methods from a data type |
| packages/nixpkgs/haskellPackages.mono-traversable | Type classes for mapping, folding, and traversing monomorphic containers |
| packages/nixpkgs/haskellPackages.shakespeare-i18n | A type-based approach to internationalization. (deprecated) |
| packages/nixpkgs/haskellPackages.webgear-server_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.canonical-filepath | Abstract data type for canonical file paths |
| packages/nixpkgs/haskellPackages.aligned-foreignptr | An aligned ForeignPtr type |
| packages/nixpkgs/haskellPackages.modular-arithmetic | A type for integers modulo some constant |
| packages/nixpkgs/haskellPackages.servant-pagination | Type-safe pagination for Servant APIs |
| packages/nixpkgs/haskellPackages.engineering-units | A numeric type for managing and automating engineering units |
| packages/nixpkgs/haskellPackages.persistent-spatial | Database agnostic, spatially indexed type for geographic points |
| packages/nixpkgs/haskellPackages.refined-containers | Type-checked proof that a key exists in a container and can be safely indexed |
| packages/nixpkgs/haskellPackages.mono-traversable-keys | Type-classes for interacting with monomorphic containers with a key |
| packages/nixpkgs/haskellPackages.PartialTypeSignatures | emulate partial type signatures with template haskell |
| packages/nixpkgs/haskellPackages.requirements | Abstraction to manage user defined Type Errors |
| packages/nixpkgs/haskellPackages.foldable1-classes-compat | Compatibility package for the Foldable1 and Bifoldable1 type classes |
| packages/nixpkgs/haskellPackages.exception-hierarchy | Exception type hierarchy with TemplateHaskell |
| packages/nixpkgs/haskellPackages.distributed-static | Compositional, type-safe, polymorphic static values and closures |
| packages/nixpkgs/haskellPackages.constrained-normal | Normalised Deep Embeddings for Constrained Type-Class Instances |
| packages/nixpkgs/haskellPackages.emailaddress | Wrapper around email-validate library adding instances for common type classes |
| packages/nixpkgs/haskellPackages.tagged-transformer | Monad transformer carrying an extra phantom type tag |
| packages/nixpkgs/haskellPackages.rank2classes | standard type constructor class hierarchy, only with methods of rank 2 types |
| packages/nixpkgs/haskellPackages.groundhog-inspector | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.unpacked-validation | An unpacked validation data type |
| packages/nixpkgs/haskellPackages.webgear-openapi_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-swagger_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.simplistic-generics | Generic programming without too many type classes |
| packages/nixpkgs/haskellPackages.http-pony-transformer-http | Transform raw TCP stream to a basic HTTP type |
| packages/nixpkgs/haskellPackages.transformers-lift | Ad-hoc type classes for lifting |
| packages/nixpkgs/haskellPackages.persistent-template | Type-safe, non-relational, multi-backend persistence |
| packages/nixpkgs/haskellPackages.symparsec_2_0_0 | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.hyperbole_0_5_0 | Interactive HTML apps using type-safe serverside Haskell |
| packages/nixpkgs/haskellPackages.monad-metrics-extensible | An extensible and type-safe wrapper around EKG metrics |
| packages/nixpkgs/haskellPackages.twentefp-eventloop-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.linux-capabilities | Linux capabilities Haskell data type |
| packages/nixpkgs/haskellPackages.unsatisfiable | Unsatisfiable type class |
| packages/nixpkgs/haskellPackages.configuration | Simple data type for application configuration |
| packages/nixpkgs/haskellPackages.justified-containers | Keyed container types with type-checked proofs of key presence |
| packages/nixpkgs/haskellPackages.standalone-derive-topdown | This package will derive class instance along the data type declaration tree. (Deprecated) |
| packages/nixpkgs/haskellPackages.parameterized | Parameterized/indexed monoids and monads using only a single parameter type variable |
| packages/nixpkgs/haskellPackages.postgresql-simple-interval | A simple interval type for PostgreSQL |
| packages/nixpkgs/haskellPackages.coerce-with-substitution | Coercions with improved type inference |
| packages/nixpkgs/haskellPackages.monoidmap_0_0_4_4 | Monoidal map type |
| packages/nixpkgs/haskellPackages.monoidmap_0_0_5_0 | Monoidal map type |
| packages/nixpkgs/haskellPackages.bytestring-conversion | Type-classes to convert values to and from ByteString |
| packages/nixpkgs/haskellPackages.quickcheck-properties | QuickCheck properties for standard type classes |
| packages/nixpkgs/haskellPackages.esqueleto_3_6_0_0 | Type-safe EDSL for SQL queries on persistent backends |
| packages/nixpkgs/haskellPackages.singletons-presburger | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package |
| packages/nixpkgs/haskellPackages.transformers-continue | Control flow data type and monad transformer |
| packages/nixpkgs/haskellPackages.system-canonicalpath | Abstract data type for canonical paths with some utilities |
| packages/nixpkgs/haskellPackages.monadtransform | A type-class for transforming monads (homomorphism) in a transformer |
| packages/nixpkgs/haskellPackages.heterocephalus | A type-safe template engine for working with front end development tools |
| packages/nixpkgs/haskellPackages.quickcheck-combinators | Simple type-level combinators for augmenting QuickCheck instances |
| packages/nixpkgs/haskellPackages.constrained-categories | Constrained clones of the category-theory type classes, using ConstraintKinds |
| packages/nixpkgs/haskellPackages.exception-transformers | Type classes and monads for unchecked extensible exceptions |
| packages/nixpkgs/haskellPackages.postgresql-connection-string | PostgreSQL connection string type, parser and builder |
| packages/nixpkgs/haskellPackages.interchangeable | A type class for interchangeable data |
| packages/nixpkgs/haskellPackages.composable-associations | Types and helpers for composing types into a single larger key-value type |
| packages/nixpkgs/haskellPackages.persistent_2_15_1_0 | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.persistent_2_18_0_0 | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtksourceview2 | A type class for cast functions of Gtk2hs: gtksourceview2 package |
| packages/nixpkgs/haskellPackages.data-default-instances-case-insensitive | Default instance for CI type from case-insensitive package |
| packages/nixpkgs/haskellPackages.TypeCompose | Type composition classes & instances |
| packages/nixpkgs/haskellPackages.TypeIlluminator | TypeIlluminator is a prototype tool exploring debugging of type errors/ |
| packages/nixpkgs/haskellPackages.pi-forall | Demo implementation of typechecker for dependently-typed language |
| packages/nixpkgs/haskellPackages.var-monad | The VarMonad typeclass, generalizing types of references |
| packages/nixpkgs/haskellPackages.confide | derive typeclass instances for decoding types from HOCON conf |
| packages/nixpkgs/haskellPackages.convertible | Typeclasses and instances for converting between types |
| packages/nixpkgs/haskellPackages.concurrency | Typeclasses, functions, and data types for concurrency and STM |
| packages/nixpkgs/haskellPackages.convertible-text | Typeclasses and instances for converting between types (deprecated) |
| packages/nixpkgs/haskellPackages.partial-order | Provides typeclass suitable for types admitting a partial order |
| packages/nixpkgs/haskellPackages.base-generics | This library provides some instances for extra GHC |
| packages/nixpkgs/haskellPackages.lawful-conversions | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/haskellPackages.edis | Statically typechecked client for Redis |
| packages/nixpkgs/haskellPackages.lawful-conversions_0_3_0_1 | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/haskellPackages.hocon | Small library for typesafe's configuration specification |
| packages/nixpkgs/haskellPackages.th-tc | Typechecking in Template Haskell |
| packages/nixpkgs/haskellPackages.contracheck-applicative | Validation types/typeclass based on the contravariance |
| packages/nixpkgs/haskellPackages.helf | Typechecking terms of the Edinburgh Logical Framework (LF) |
| packages/nixpkgs/haskellPackages.di | Typeful hierarchical structured logging using di, mtl and df1 |
| packages/nixpkgs/haskellPackages.rex | A quasi-quoter for typeful results of regex captures |
| packages/nixpkgs/haskellPackages.di-core | Typeful hierarchical structured logging without monad towers |
| packages/nixpkgs/haskellPackages.di-monad | mtl flavoured typeful hierarchical structured logging for di-core |
| packages/nixpkgs/haskellPackages.HMap | Fast heterogeneous maps and unconstrained typeable-like functionality |
| packages/nixpkgs/haskellPackages.ghc-syb | Data and Typeable instances for the GHC API |
| packages/nixpkgs/haskellPackages.effin | A Typeable-free implementation of extensible effects |
| packages/nixpkgs/haskellPackages.typist | Typelevel printf |
| packages/nixpkgs/haskellPackages.clean-unions | Open unions without need for Typeable |
| packages/nixpkgs/haskellPackages.set-of | Sets of fixed size, with typelits |
| packages/nixpkgs/haskellPackages.relational-query | Typeful, Modular, Relational, algebraic query engine |
| packages/nixpkgs/haskellPackages.GPipe | Typesafe functional GPU graphics programming |
| packages/nixpkgs/haskellPackages.mezzo | Typesafe music composition |
| packages/nixpkgs/haskellPackages.solga | Simple typesafe web routing |
| packages/nixpkgs/haskellPackages.ccast | typesafe c-style casts; useful for FFI |
| packages/nixpkgs/haskellPackages.helix | Web development micro framework for haskell with typesafe URLs |