| packages/nixpkgs/haskellPackages.th-typegraph | Graph of the subtype relation |
| packages/nixpkgs/haskellPackages.lens-typelevel | Type-level lenses using singletons |
| packages/nixpkgs/haskellPackages.lsp-types_2_1_1_0 | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/haskellPackages.typed-duration | Thread delay and timeout functions with typed arguments |
| packages/nixpkgs/haskellPackages.freetype2 | Haskell bindings for FreeType 2 library |
| packages/nixpkgs/haskellPackages.geodetic-types | Types for geodetic operations |
| packages/nixpkgs/haskellPackages.password-types | Types for handling passwords |
| packages/nixpkgs/haskellPackages.compound-types | Sum and Product types and such |
| packages/nixpkgs/haskellPackages.typelits-printf | Type-safe printf from parsing GHC TypeLits Symbol |
| packages/nixpkgs/haskellPackages.sqlite-simple-typed | Typed extension to sqlite simple |
| packages/nixpkgs/haskellPackages.scholdoc-types | Scholdoc fork of pandoc-types |
| packages/nixpkgs/haskellPackages.prototype | prototype-based programming on Haskell |
| packages/nixpkgs/haskellPackages.fusion-plugin-types | Types for the fusion-plugin package |
| packages/nixpkgs/haskellPackages.cruncher-types | Request and Response types for Eval.so's API |
| packages/nixpkgs/haskellPackages.crypto-cipher-types | Generic cryptography cipher types |
| packages/nixpkgs/haskellPackages.telegram-types | Types used in Telegram bot API |
| packages/nixpkgs/haskellPackages.stackage-types | Shared data types between various Stackage packages |
| packages/nixpkgs/haskellPackages.workflow-types | Automate keyboard\/mouse\/clipboard\/application interaction |
| packages/nixpkgs/haskellPackages.graphtype | A simple tool to illustrate dependencies between Haskell types |
| packages/nixpkgs/haskellPackages.crypto-pubkey-types | Generic cryptography Public keys algorithm types |
| packages/nixpkgs/haskellPackages.string-typelits | Type-level Chars and Strings, with decidable equality |
| packages/nixpkgs/haskellPackages.gi-freetype2 | freetype2 bindings |
| packages/nixpkgs/haskellPackages.servant-typed-error | Typed error wrapper for Servant |
| packages/nixpkgs/haskellPackages.ixset-typed-cassava | cassava encoding and decoding via ixset-typed |
| packages/nixpkgs/haskellPackages.spirv-reflect-types | Data types from spirv-reflect tool |
| packages/nixpkgs/haskellPackages.typeparams | Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation |
| packages/nixpkgs/haskellPackages.typesafe-endian | Enforce endianness with types |
| packages/nixpkgs/haskellPackages.typelevel-tools-yj | type level tools |
| packages/nixpkgs/haskellPackages.typelevel-tensor | Tensors whose ranks and dimensions type-inferred and type-checked |
| packages/nixpkgs/haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| packages/nixpkgs/haskellPackages.validated-types | Type-level constraints on strings and other input |
| packages/nixpkgs/haskellPackages.aeson-flowtyped | Create Flow or TypeScript type definitions from Haskell data types |
| packages/nixpkgs/haskellPackages.hpqtypes-extras | Extra utilities for hpqtypes library |
| packages/nixpkgs/haskellPackages.bootstrap-types | Bootstrap CSS Framework type-safe interface |
| packages/nixpkgs/haskellPackages.ansi-terminal-types | Types and functions used to represent SGR aspects |
| packages/nixpkgs/haskellPackages.freetype-simple | Single line text rendering for OpenGL ES |
| packages/nixpkgs/haskellPackages.word-notes-datatype | General datatypes for music creation for one instrument |
| packages/nixpkgs/haskellPackages.typesafe-precure | Type-safe transformations and purifications of PreCures (Japanese Battle Heroine) |
| packages/nixpkgs/haskellPackages.typedquery | Parser for SQL augmented with types |
| packages/nixpkgs/haskellPackages.lawful-classes-types | Types for lawful-classes |
| packages/nixpkgs/haskellPackages.tahoe-great-black-swamp-types | Types related to implementation of a Tahoe-LAFS Great Black Swamp server |
| packages/nixpkgs/haskellPackages.typed-protocols | A framework for strongly typed protocols |
| packages/nixpkgs/haskellPackages.predicate-typed | Predicates, Refinement types and Dsl |
| packages/nixpkgs/haskellPackages.cryptoids-types | Shared types for encrypting internal object identifiers before exposure |
| packages/nixpkgs/haskellPackages.hypertypes | Typed ASTs |
| packages/nixpkgs/haskellPackages.hasktorch-types-th | C-types for Torch |
| packages/nixpkgs/haskellPackages.concrete-typerep | Binary and Hashable instances for TypeRep |
| packages/nixpkgs/haskellPackages.typed-protocols-doc | Derive documentation from typed-protocols source code |
| packages/nixpkgs/haskellPackages.hasktorch-types-thc | C-types for Cutorch |
| packages/nixpkgs/haskellPackages.oo-prototypes | Support for OO-like prototypes |
| packages/nixpkgs/haskellPackages.newtype-deriving | Instance derivers for newtype wrappers |
| packages/nixpkgs/haskellPackages.newtype-generics | A typeclass and set of functions for working with newtypes |
| packages/nixpkgs/haskellPackages.typescript-docs | A documentation generator for TypeScript Definition files |
| packages/nixpkgs/haskellPackages.sydtest-typed-process | A typed-process companion library for sydtest |
| packages/nixpkgs/haskellPackages.should-not-typecheck | A HUnit/hspec assertion library to verify that an expression does not typecheck |
| packages/nixpkgs/haskellPackages.proto-lens-protobuf-types | Basic protocol buffer message types |
| packages/nixpkgs/haskellPackages.postgresql-typed | PostgreSQL interface with compile-time SQL type checking, optional HDBC backend |
| packages/nixpkgs/haskellPackages.persistent-typed-db | Type safe access to multiple database schemata |
| packages/nixpkgs/haskellPackages.aeson-typescript | Generate TypeScript definition files from your ADTs |
| packages/nixpkgs/haskellPackages.typelevel-rewrite-rules | Solve type equalities using custom type-level rewrite rules |
| packages/nixpkgs/haskellPackages.pushbullet-types | Datatypes used by the Pushbullet APIs |
| packages/nixpkgs/haskellPackages.linear-core-prototype | Linear core validates optimizations wrt linearity |
| packages/nixpkgs/haskellPackages.ghc-typelits-knownnat | Derive KnownNat constraints from other KnownNat constraints |
| packages/nixpkgs/haskellPackages.gelatin-freetype2 | FreeType2 based text rendering for the gelatin realtime rendering system |
| packages/nixpkgs/haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| packages/nixpkgs/haskellPackages.hakyll-typescript | Typescript and javascript hakyll compilers |
| packages/nixpkgs/haskellPackages.hackertyper | "Hack" like a programmer in movies and games! |
| packages/nixpkgs/haskellPackages.pokemon-go-protobuf-types | Haskell types for the Pokemon Go protobuf protocol |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/haskellPackages.ixset-typed-binary-instance | Binary instance for ixset-typed |
| packages/nixpkgs/haskellPackages.pandoc-types_1_23_1_1 | Types for representing a structured document |
| packages/nixpkgs/haskellPackages.typelits-witnesses | Existential witnesses, singletons, and classes for operations on GHC TypeLits |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_1 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_2 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.singleton-typelits | Singletons and induction over GHC TypeLits |
| packages/nixpkgs/haskellPackages.tree-sitter-typescript | Tree-sitter grammar/parser for TypeScript |
| packages/nixpkgs/haskellPackages.haskell-typescript | Simple TypeScript API |
| packages/nixpkgs/haskellPackages.servant-typescript | TypeScript client generation for Servant |
| packages/nixpkgs/haskellPackages.typed-encoding-encoding | Bridge between encoding and typed-encoding packages |
| packages/nixpkgs/haskellPackages.coercible-subtypes | Coercible but only in one direction |
| packages/nixpkgs/haskellPackages.hpqtypes-effectful | Adaptation of the hpqtypes library for the effectful ecosystem |
| packages/nixpkgs/haskellPackages.typed-process-effectful | A binding of the typed-process library for the effectful effect system |
| packages/nixpkgs/haskellPackages.yesod-routes-typescript | generate TypeScript routes for Yesod |
| packages/nixpkgs/haskellPackages.typed-spreadsheet | Typed and composable spreadsheets |
| packages/nixpkgs/haskellPackages.scuttlebutt-types | generic types for Secure Scuttlebutt |
| packages/nixpkgs/haskellPackages.polytypeable | Typeable for polymorphic types |
| packages/nixpkgs/haskellPackages.postgresql-simple-typed | Typed extension for PostgreSQL simple |
| packages/nixpkgs/haskellPackages.csound-expression-typed | typed core for the library csound-expression |
| packages/nixpkgs/haskellPackages.postgresql-typed-lifted | postgresql-typed operations lifted to any instance of MonadBase or MonadBaseControl |
| packages/nixpkgs/haskellPackages.ghc-typelits-presburger | Presburger Arithmetic Solver for GHC Type-level natural numbers |
| packages/nixpkgs/haskellPackages.sessiontypes | Session types library |
| packages/nixpkgs/haskellPackages.minitypeset-opengl | Layout and render text with TrueType fonts using OpenGL |
| packages/nixpkgs/haskellPackages.language-typescript | A library for working with TypeScript Definition files |
| packages/nixpkgs/haskellPackages.bytestring-typenats | Bytestrings with typenat lengths |
| packages/nixpkgs/haskellPackages.genvalidity-typed-uuid | Generators for Phantom-Typed version of UUID |
| packages/nixpkgs/haskellPackages.accelerate-typelits | a typesafe way encode accelerate matrices and vectors |
| packages/nixpkgs/haskellPackages.ixset-typed-hashable-instance | Hashable instance for ixset-typed |
| packages/nixpkgs/haskellPackages.persistable-types-HDBC-pg | HDBC and Relational-Record instances of PostgreSQL extended types |
| packages/nixpkgs/haskellPackages.ansi-terminal-types_0_11_5 | Types and functions used to represent SGR aspects |
| packages/nixpkgs/haskellPackages.typed-session-state-algorithm | Automatically generate status for typed-session |