| packages/nixpkgs/haskellPackages.AC-HalfInteger | Efficient half-integer type |
| packages/nixpkgs/haskellPackages.AC-Vector-Fancy | Fancy type-system stuff for AC-Vector |
| packages/nixpkgs/haskellPackages.data-flagset | An efficient data type for sets of flags |
| packages/nixpkgs/haskellPackages.data-checked | Type-indexed runtime-checked properties |
| packages/nixpkgs/haskellPackages.text_2_1_3 | An efficient packed Unicode text type |
| packages/nixpkgs/haskellPackages.simple-units | Simple arithmetic with SI units using type-checked dimensional analysis |
| packages/nixpkgs/perlPackages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/haskellPackages.kind-integer | Type-level integers |
| packages/nixpkgs/haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| packages/nixpkgs/haskellPackages.f-algebra-gen | Generate a special f-algebra combinator from any data type |
| packages/nixpkgs/haskellPackages.horizon-spec | Horizon Stable Package Set Type Definitions |
| packages/nixpkgs/haskellPackages.multiset | The Data |
| packages/nixpkgs/haskellPackages.smtlib2-pipe | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/haskellPackages.higgledy | Partial types as a type constructor |
| packages/nixpkgs/perl540Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/perl538Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/haskellPackages.finitary | A better, more type-safe Enum |
| packages/nixpkgs/haskellPackages.hssqlppp | SQL parser and type checker |
| packages/nixpkgs/haskellPackages.membrain | Type-safe memory units |
| packages/nixpkgs/haskellPackages.byteable | Type class for sequence of bytes |
| packages/nixpkgs/haskellPackages.data-rtuple | Recursive tuple data structure |
| packages/nixpkgs/haskellPackages.webgear-core | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.possibly | type Possibly a = Either String a |
| packages/nixpkgs/haskellPackages.recover-rtti | Recover run-time type information from the GHC heap |
| packages/nixpkgs/haskellPackages.timelike | Type classes for types representing time |
| packages/nixpkgs/haskellPackages.joinlist | Join list - symmetric list type |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glib | A type class for cast functions of Gtk2hs: glib package |
| packages/nixpkgs/haskellPackages.matrix-static | Type-safe matrix operations |
| packages/nixpkgs/haskellPackages.suitable | Abstract over the constraints on the parameters to type constructors |
| packages/nixpkgs/perl5Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/texlivePackages.initials | Adobe Type 1 decorative initial fonts |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/haskellPackages.ttc_1_5_0_0 | Textual Type Classes |
| packages/nixpkgs/haskellPackages.hslua-classes | Type classes for HsLua |
| packages/nixpkgs/haskellPackages.aztecs-sdl-image | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.language-tl | A Parser for the Type Language |
| packages/nixpkgs/haskellPackages.bind-marshal | Data marshaling library that uses type level equations to optimize buffering |
| packages/nixpkgs/haskellPackages.symbol-parser | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.storable | Storable type class for variable-sized data |
| packages/nixpkgs/haskellPackages.optional | Using type-classes for optional function arguments |
| packages/nixpkgs/perlPackages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/texlivePackages.ragged2e | Alternative versions of "ragged"-type commands |
| packages/nixpkgs/haskellPackages.COrdering | An algebraic data type similar to Prelude Ordering |
| packages/nixpkgs/haskellPackages.monoid-record | Support for modifying record fields of monoidal type |
| packages/nixpkgs/haskellPackages.red-black-record | Extensible records and variants indexed by a type-level Red-Black tree |
| packages/nixpkgs/haskellPackages.timeline | Data type representing a piecewise-constant function over time |
| packages/nixpkgs/haskellPackages.servant-dhall | Servant Dhall content-type |
| packages/nixpkgs/haskellPackages.sequence | A type class for sequences and various sequence data structures |
| packages/nixpkgs/texlivePackages.mlmodern | A blacker Type 1 version of Computer Modern, with multilingual support |
| packages/nixpkgs/texlivePackages.lastpage | Reference last page for Page N of M type footers |
| packages/nixpkgs/haskellPackages.numeric-kinds | Type-level numeric types and classes |
| packages/nixpkgs/perl540Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/perl538Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/haskellPackages.convert-units | Arithmetic and type checked conversions between units |
| packages/nixpkgs/haskellPackages.fluffy-parser | The parser for fluffy to parsec the question bank in .docx type |
| packages/nixpkgs/haskellPackages.envelope | Defines generic 'Envelope' type to wrap reponses from a JSON API |
| packages/nixpkgs/haskellPackages.musicxml | MusicXML format encoded as Haskell type and functions of reading and writting |
| packages/nixpkgs/haskellPackages.tagged-binary | Provides tools for serializing data tagged with type information |
| packages/nixpkgs/haskellPackages.protocol | Model distributed system as type-level multi-party protocol |
| packages/nixpkgs/texlivePackages.sanskrit-t1 | Type 1 version of 'skt' fonts for Sanskrit |
| packages/nixpkgs/haskellPackages.intelli-monad | Type level prompt with LLMs via louter |
| packages/nixpkgs/haskellPackages.ban-instance | For when a type should never be an instance of a class |
| packages/nixpkgs/haskellPackages.comfort-graph | Graph structure with type parameters for nodes and edges |
| packages/nixpkgs/haskellPackages.dynamic-state | Optionally serializable dynamic state keyed by type |
| packages/nixpkgs/perl5Packages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/texlivePackages.carolmin-ps | Adobe Type 1 format of Carolingian Minuscule fonts |
| packages/nixpkgs/haskellPackages.aeson-schemas | Easily consume JSON data on-demand with type-safety |
| packages/nixpkgs/haskellPackages.web-view_0_7_1 | Type-safe HTML and CSS with intuitive layouts and composable styles |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glade | A type class for cast functions of Gtk2hs: glade package |
| packages/nixpkgs/haskellPackages.haskell-holes-th | Infer haskell code by given type |
| packages/nixpkgs/haskellPackages.dormouse-uri | Library for type-safe representations of Uri/Urls |
| packages/nixpkgs/haskellPackages.union_0_1_3 | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.abstract-par | Type classes generalizing the functionality of the 'monad-par' library |
| packages/nixpkgs/haskellPackages.freer-indexed | Freer indexed monad for type-level resource-aware effectual operations |
| packages/nixpkgs/haskellPackages.barrier-monad | Implementation of barrier monad, can use custom front/back type |
| packages/nixpkgs/haskellPackages.yesod-content-pdf | PDF Content Type for Yesod |
| packages/nixpkgs/haskellPackages.Control-Monad-ST2 | A variation on the ST monad with two type parameters |
| packages/nixpkgs/haskellPackages.amazonka-mtl | MTL-style type-class and deriving-via newtypes for Amazonka |
| packages/nixpkgs/perlPackages.ParamsClassify | Argument type classification |
| packages/nixpkgs/haskellPackages.goal-geometry | The basic geometric type system of Goal |
| packages/nixpkgs/haskellPackages.ghc-tcplugin-api | An API for type-checker plugins |
| packages/nixpkgs/haskellPackages.nat-sized-numbers | Variable-sized numbers from type-level nats |
| packages/nixpkgs/haskellPackages.storable-enum | Wrapper that makes any Enum type Storable |
| packages/nixpkgs/perlPackages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/oldstandard | Attempt to revive a specific type of Modern style of serif typefaces |
| packages/nixpkgs/haskellPackages.derive-topdown | Derive type class instances |
| packages/nixpkgs/haskellPackages.closed-classes | Closed type class declarations |
| packages/nixpkgs/haskellPackages.data-filepath | A type safe file path data structure |
| packages/nixpkgs/haskellPackages.kind-rational | Type-level rationals |
| packages/nixpkgs/inconsolata | Monospace font for both screen and print |
| packages/nixpkgs/haskellPackages.NestedFunctor | Nested composition of functors with a type index tracking nesting |
| packages/nixpkgs/haskellPackages.language-spir-v | Data type for SPIR-V |
| packages/nixpkgs/haskellPackages.safer-file-handles | Type-safe file handling |
| packages/nixpkgs/perl5Packages.ParamsClassify | Argument type classification |
| packages/nixpkgs/haskellPackages.failable-list | A list-like type for lazy streams, which might terminate with an error |
| packages/nixpkgs/haskellPackages.monoidmap | Monoidal map type |
| packages/nixpkgs/haskellPackages.time-interval | Use a time unit class, but hold a concrete time type |
| packages/nixpkgs/perl5Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/haskellPackages.homotuple | Homotuple, all whose elements are the same type |
| packages/nixpkgs/haskellPackages.matchable | A type class for Matchable Functors |