| packages/nixpkgs/haskellPackages.higgledy | Partial types as a type constructor |
| packages/nixpkgs/haskellPackages.byteable | Type class for sequence of bytes |
| packages/nixpkgs/haskellPackages.finitary | A better, more type-safe Enum |
| packages/nixpkgs/haskellPackages.data-rtuple | Recursive tuple data structure |
| packages/nixpkgs/haskellPackages.hssqlppp | SQL parser and type checker |
| packages/nixpkgs/haskellPackages.membrain | Type-safe memory units |
| packages/nixpkgs/haskellPackages.possibly | type Possibly a = Either String a |
| packages/nixpkgs/haskellPackages.webgear-core | Composable, type-safe library to build HTTP APIs |
| 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.matrix-static | Type-safe matrix operations |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glib | A type class for cast functions of Gtk2hs: glib package |
| packages/nixpkgs/haskellPackages.suitable | Abstract over the constraints on the parameters to type constructors |
| 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.bind-marshal | Data marshaling library that uses type level equations to optimize buffering |
| 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.optional | Using type-classes for optional function arguments |
| packages/nixpkgs/haskellPackages.storable | Storable type class for variable-sized data |
| packages/nixpkgs/haskellPackages.symbol-parser | Type level string parser combinators |
| 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.servant-dhall | Servant Dhall content-type |
| packages/nixpkgs/haskellPackages.sequence | A type class for sequences and various sequence data structures |
| packages/nixpkgs/haskellPackages.timeline | Data type representing a piecewise-constant function over time |
| packages/nixpkgs/haskellPackages.red-black-record | Extensible records and variants indexed by a type-level Red-Black tree |
| packages/nixpkgs/haskellPackages.numeric-kinds | Type-level numeric types and classes |
| packages/nixpkgs/haskellPackages.envelope | Defines generic 'Envelope' type to wrap reponses from a JSON API |
| 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.protocol | Model distributed system as type-level multi-party protocol |
| packages/nixpkgs/haskellPackages.tagged-binary | Provides tools for serializing data tagged with type information |
| packages/nixpkgs/haskellPackages.musicxml | MusicXML format encoded as Haskell type and functions of reading and writting |
| packages/nixpkgs/haskellPackages.dynamic-state | Optionally serializable dynamic state keyed by type |
| 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.intelli-monad | Type level prompt with LLMs via louter |
| 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.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.gtk2hs-cast-glade | A type class for cast functions of Gtk2hs: glade package |
| 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.barrier-monad | Implementation of barrier monad, can use custom front/back type |
| packages/nixpkgs/haskellPackages.freer-indexed | Freer indexed monad for type-level resource-aware effectual operations |
| 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/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/haskellPackages.derive-topdown | Derive type class instances |
| packages/nixpkgs/haskellPackages.kind-rational | Type-level rationals |
| packages/nixpkgs/haskellPackages.data-filepath | A type safe file path data structure |
| packages/nixpkgs/haskellPackages.closed-classes | Closed type class declarations |
| 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/haskellPackages.failable-list | A list-like type for lazy streams, which might terminate with an error |
| packages/nixpkgs/haskellPackages.time-interval | Use a time unit class, but hold a concrete time type |
| packages/nixpkgs/haskellPackages.monoidmap | Monoidal map type |
| packages/nixpkgs/haskellPackages.matchable | A type class for Matchable Functors |
| packages/nixpkgs/haskellPackages.homotuple | Homotuple, all whose elements are the same type |
| packages/nixpkgs/haskellPackages.lambdatex | Type-Safe LaTeX EDSL |
| packages/nixpkgs/haskellPackages.oneormore | A never-empty list type |
| packages/nixpkgs/haskellPackages.unlifted-list | GHC Haskell lists of non-thunks (things of kind TYPE 'UnliftedRep) |
| packages/nixpkgs/haskellPackages.natural-number | Natural numbers tagged with a type-level representation of the number |
| packages/nixpkgs/haskellPackages.unpacked-these | An unpacked these data type |
| packages/nixpkgs/haskellPackages.javelin-frames | Type-safe data frames based on higher-kinded types |
| packages/nixpkgs/haskellPackages.multi-instance | Typeclasses augmented with a phantom type parameter |
| packages/nixpkgs/haskellPackages.fixedprec | A fixed-precision real number type |
| packages/nixpkgs/haskellPackages.lambda-options | Declarative command-line parser with type-driven pattern matching |
| packages/nixpkgs/haskellPackages.libffi-dynamic | LibFFI interface with dynamic bidirectional type-driven binding generation |
| packages/nixpkgs/haskellPackages.enumerate | enumerate all the values in a finite type (automatically) |
| packages/nixpkgs/haskellPackages.symparsec | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.saferoute | A simple type-safe routing library |
| packages/nixpkgs/haskellPackages.webgear-server | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.servant-proto-lens | Servant Content-Type for proto-lens protobuf modules |
| packages/nixpkgs/haskellPackages.separated | A data type with elements separated by values |
| packages/nixpkgs/haskellPackages.open-adt-tutorial | Open algebraic data type examples |
| packages/nixpkgs/haskellPackages.unpacked-maybe | An unpacked maybe data type |
| packages/nixpkgs/haskellPackages.groundhog | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.functora-witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.streaming | an elementary streaming prelude and general stream type |
| packages/nixpkgs/haskellPackages.vector-space-points | A type for points, as distinct from vectors |
| packages/nixpkgs/haskellPackages.numbering | Combinators for creating bijections from some type to the natural numbers |
| packages/nixpkgs/haskellPackages.Coroutine | Type-safe coroutines using lightweight session types |
| packages/nixpkgs/haskellPackages.aeson-deriving | data types for compositional, type-directed serialization |
| packages/nixpkgs/haskellPackages.composite-xml | RecXML Type |
| packages/nixpkgs/haskellPackages.esqueleto | Type-safe EDSL for SQL queries on persistent backends |
| packages/nixpkgs/haskellPackages.deriving-aeson | Type driven generic aeson instance customisation |
| packages/nixpkgs/haskellPackages.happs-tutorial | A Happstack Tutorial that is its own web 2.0-type demo. |
| packages/nixpkgs/haskellPackages.exference | Tool to search/generate (haskell) expressions with a given type |
| packages/nixpkgs/haskellPackages.web-routes-regular | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.semialign | Align and Zip type-classes from the common Semialign ancestor |