| 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.instance-control | Controls how the compiler searches for instances using type families |
| packages/nixpkgs/haskellPackages.fingertree-tf | Generic finger-tree structure 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-gtkglext | A type class for cast functions of Gtk2hs: gtkglext package |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gnomevfs | A type class for cast functions of Gtk2hs: gnomevfs 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.aeson-generic-default | Type-level default fields for aeson Generic FromJSON parser |
| packages/nixpkgs/haskellPackages.data-validation | A library for creating type safe validations |
| 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.JSON-Combinator | A combinator library on top of a generalised JSON type |
| packages/nixpkgs/haskellPackages.aztecs-hierarchy | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.aztecs-transform | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| 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.ziptastic-client | A type-safe client for the Ziptastic API for doing forward and reverse geocoding |
| packages/nixpkgs/haskellPackages.sorted-list_0_3_1_0 | Type-enforced sorted lists and related functions |
| 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.constraint-manip | Some conviencience type functions for manipulating constraints |
| packages/nixpkgs/haskellPackages.guess-combinator | Generate simple combinators given their type |
| packages/nixpkgs/haskellPackages.japanese-calendar | Data type of Japanese Calendar (Wareki) |
| 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.funspection | Type-level function utilities |
| packages/nixpkgs/haskellPackages.Strafunski-ATermLib | An abstract data type designed for the exchange of tree-like data structures |
| 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.axiomatic-classes | Specify axioms for type classes and quickCheck all available instances |
| packages/nixpkgs/haskellPackages.cspmchecker | A command line type checker for CSPM files |
| packages/nixpkgs/haskellPackages.matchable_0_2 | A type class for Matchable Functors |
| packages/nixpkgs/haskellPackages.simple-media-timestamp | A very simple timestamp type |
| packages/nixpkgs/haskellPackages.smallstring | A Unicode text type, optimized for low memory overhead |
| 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/texlivePackages.biblatex-morenames | New names for standard BibLaTeX entry type |
| 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/idrisPackages.permutations | Type-safe way of working with permutations in Idris |
| 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/phpPackages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| 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/php81Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| 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/php83Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/php84Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/php82Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/php85Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| 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/texlivePackages.biblatex-bookinother | Manage book edited in other entry type |
| packages/nixpkgs/haskellPackages.parameterized | Parameterized/indexed monoids and monads using only a single parameter type variable |