| packages/nixpkgs/haskellPackages.GPipe-Core | Typesafe functional GPU graphics programming |
| packages/nixpkgs/haskellPackages.singleton-dict | Typelevel balanced search trees via a singletonized Data |
| packages/nixpkgs/haskellPackages.wai-routes | Typesafe URLs for Wai applications |
| packages/nixpkgs/haskellPackages.snap-routes | Typesafe URLs for Snap applications |
| packages/nixpkgs/haskellPackages.queue | Abstraction typeclasses for queue-like things |
| packages/nixpkgs/haskellPackages.qlinear | Typesafe library for linear algebra |
| packages/nixpkgs/haskellPackages.deiko-config | Small and typesafe configuration library |
| packages/nixpkgs/haskellPackages.ungadtagger | Abstract GADTs from typelevel tags |
| packages/nixpkgs/haskellPackages.aeson-via | Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses |
| packages/nixpkgs/haskellPackages.chatty | Some monad transformers and typeclasses for text in- and output abstraction |
| packages/nixpkgs/haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| packages/nixpkgs/haskellPackages.monad-mock | A monad transformer for mocking mtl-style typeclasses |
| packages/nixpkgs/haskellPackages.sparse-tensor | typesafe tensor algebra library |
| packages/nixpkgs/haskellPackages.data-tensor | Tensor and Group typeclasses |
| packages/nixpkgs/haskellPackages.Munkres-simple | Simple and typesafe layer over the Munkres package |
| packages/nixpkgs/haskellPackages.monad-unlift | Typeclasses for representing monad transformer unlifting |
| packages/nixpkgs/haskellPackages.chunked-data | Typeclasses for dealing with various chunked data representations |
| packages/nixpkgs/haskellPackages.monad-unlift-ref | Typeclasses for representing monad transformer unlifting |
| packages/nixpkgs/haskellPackages.dynamodb-simple | Typesafe library for working with DynamoDB database |
| packages/nixpkgs/haskellPackages.ghc-corroborate | An flatter API for GHC typechecker plugins |
| packages/nixpkgs/haskellPackages.currency-convert | Typesafe currency conversion |
| packages/nixpkgs/haskellPackages.haskell-generate | Typesafe generation of haskell source code |
| packages/nixpkgs/haskellPackages.motor-diagrams | Generate state diagrams from Motor FSM typeclasses |
| packages/nixpkgs/haskellPackages.woe | Convenient typeclass for defining arbitrary-index enums |
| packages/nixpkgs/haskellPackages.IsNull | A typeclass to determine if a given value is null |
| packages/nixpkgs/haskellPackages.l10n | Enables providing localization as typeclass instances in separate files |
| packages/nixpkgs/haskellPackages.data-rev | A typeclass for reversing order of contents |
| packages/nixpkgs/haskellPackages.homoiconic | Constructs FAlgebras from typeclasses, making Haskell functions homoiconic |
| packages/nixpkgs/haskellPackages.one-liner-instances | Generics-based implementations for common typeclasses |
| packages/nixpkgs/haskellPackages.torsor | Torsor Typeclass |
| packages/nixpkgs/haskellPackages.TTTAS | Typed Transformations of Typed Abstract Syntax |
| packages/nixpkgs/haskellPackages.always | provides a typeclass that is always satisfied |
| packages/nixpkgs/haskellPackages.lawful | Assert the lawfulness of your typeclass instances |
| packages/nixpkgs/haskellPackages.unlift | Typeclass for monads that can be unlifted to arbitrary base monads |
| packages/nixpkgs/haskellPackages.human-text | A lawless typeclass for converting values to human-friendly text |
| packages/nixpkgs/haskellPackages.combinators | Collection of combinators over standard typeclasses |
| packages/nixpkgs/haskellPackages.motor-reflection | Reflect on Motor FSM typeclasses to obtain runtime representations |
| packages/nixpkgs/haskellPackages.math-metric | Typeclass for metric spaces |
| packages/nixpkgs/haskellPackages.human-parse | A lawless typeclass for parsing text entered by humans |
| packages/nixpkgs/haskellPackages.yesod-links | A typeclass which simplifies creating link widgets throughout your site |
| packages/nixpkgs/haskellPackages.tuple-append-instances | Extra instances for the typeclasses in the tuple-append package |
| packages/nixpkgs/haskellPackages.profunctor-optics | A compact optics library compatible with the typeclasses in profunctors |
| packages/nixpkgs/haskellPackages.dequeue | A typeclass and an implementation for double-ended queues |
| packages/nixpkgs/haskellPackages.classy-miso | Typeclass based support for Miso, the Tasty Web Framework for Haskell |
| packages/nixpkgs/haskellPackages.linear-vect | A low-dimensional linear algebra library, operating on the Num typeclass |
| packages/nixpkgs/haskellPackages.quickcheck-classes | QuickCheck common typeclasses |
| packages/nixpkgs/haskellPackages.constraint-classes | Various typeclasses using ConstraintKinds |
| packages/nixpkgs/haskellPackages.monad-choice | Monad, monad transformer, and typeclass representing choices |
| packages/nixpkgs/haskellPackages.text-display | A typeclass for user-facing output |
| packages/nixpkgs/haskellPackages.ffunctor | FFunctor typeclass |
| packages/nixpkgs/haskellPackages.validity | Validity typeclass |
| packages/nixpkgs/haskellPackages.truthful | Typeclass for truthfulness of values |
| packages/nixpkgs/haskellPackages.constrained-monads | Typeclasses and instances for monads with constraints |
| packages/nixpkgs/haskellPackages.quickcheck-classes-base | QuickCheck common typeclasses from `base` |
| packages/nixpkgs/haskellPackages.atomic-modify | A typeclass for mutable references that have an atomic modify operation |
| packages/nixpkgs/haskellPackages.unliftio | The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) |
| packages/nixpkgs/haskellPackages.catalyst | A Category typeclass hierarchy powerful enough to encode full programs |
| packages/nixpkgs/haskellPackages.ghc-justdoit | A magic typeclass that just does it |
| packages/nixpkgs/haskellPackages.monad-journal | Pure logger typeclass and monad transformer |
| packages/nixpkgs/haskellPackages.monad-persist | An mtl-style typeclass and transformer for persistent |
| packages/nixpkgs/haskellPackages.FirstOrderTheory | Grammar and typeclass for first order theories |
| packages/nixpkgs/haskellPackages.stateful-mtl | Typeclass instances for monad transformer stacks with an ST thread at the bottom |
| packages/nixpkgs/haskellPackages.classy-prelude | A typeclass-based Prelude |
| packages/nixpkgs/haskellPackages.unliftio-core | The MonadUnliftIO typeclass for unlifting monads to IO |
| packages/nixpkgs/haskellPackages.special-values | Typeclass providing special values |
| packages/nixpkgs/haskellPackages.pretty-display | Typeclass for human-readable display |
| packages/nixpkgs/haskellPackages.vect-floating | A low-dimensional linear algebra library, operating on the Floating typeclass |
| packages/nixpkgs/haskellPackages.classy-effects | An interface for a handler-independent, typeclass-based effect system |
| packages/nixpkgs/haskellPackages.buildable | Typeclass for builders of linear data structures |
| packages/nixpkgs/haskellPackages.quickcheck-arbitrary-adt | Generic typeclasses for generating arbitrary ADTs |
| packages/nixpkgs/haskellPackages.fieldwise | Provides Fieldwise typeclass for operations of fields of records treated as independent components |
| packages/nixpkgs/haskellPackages.prim-instances | Prim typeclass instances |
| packages/nixpkgs/haskellPackages.kindly-functors | A category polymorphic `Functor` typeclass |
| packages/nixpkgs/haskellPackages.classy-effects-base | An interface for a handler-independent, typeclass-based effect system |
| packages/nixpkgs/haskellPackages.cryptoids-class | Typeclass-based interface to cryptoids |
| packages/nixpkgs/haskellPackages.hedgehog-classes | Hedgehog will eat your typeclass bugs |
| packages/nixpkgs/haskellPackages.unit-constraint | Extremely simple typeclass |
| packages/nixpkgs/haskellPackages.monad-classes-logging | monad-classes based typeclass for Ollie's logging-effect LoggingT |
| packages/nixpkgs/haskellPackages.template-haskell-lift | The 'Lift' typeclass |
| packages/nixpkgs/haskellPackages.first-class-instances | First-class typeclass instances |
| packages/nixpkgs/haskellPackages.compactable | A typeclass for structures which can be catMaybed, filtered, and partitioned |
| packages/nixpkgs/haskellPackages.purescript-tsd-gen | TypeScript Declaration File (.d.ts) generator for PureScript |
| packages/nixpkgs/haskellPackages.password-instances | typeclass instances for password package |
| packages/nixpkgs/haskellPackages.parametric-functor | A known-parametric Functor typeclass |
| packages/nixpkgs/haskellPackages.operational-class | MonadProgram typeclass for the operational package |
| packages/nixpkgs/haskellPackages.isomorphism-class | Isomorphism typeclass as a lawful solution to the conversion problem |
| packages/nixpkgs/haskellPackages.hts | Haskell Music Typesetting |
| packages/nixpkgs/haskellPackages.xtc | eXtended & Typed Controls for wxHaskell |
| packages/nixpkgs/haskellPackages.yak | A strongly typed IRC library |
| packages/nixpkgs/haskellPackages.unfoldable-restricted | An alternative to the Unfoldable typeclass |
| packages/nixpkgs/haskellPackages.top | Top (typed oriented protocol) API |
| packages/nixpkgs/haskellPackages.distributed-process-lifted | monad-control style typeclass and transformer instances for Process monad |
| packages/nixpkgs/haskellPackages.TeX-my-math | Render general Haskell math to LaTeX |
| packages/nixpkgs/haskellPackages.LATS | Linear Algebra on Typed Spaces |
| packages/nixpkgs/haskellPackages.tal | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) |
| packages/nixpkgs/haskellPackages.serv | Dependently typed API framework |
| packages/nixpkgs/haskellPackages.path | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.ntha | A tiny statically typed functional programming language |
| packages/nixpkgs/haskellPackages.uAgda | A simplistic dependently-typed language with parametricity |
| packages/nixpkgs/haskellPackages.mono-traversable-instances | Extra typeclass instances for mono-traversable |