What Well-Typed does

Well-Typed LLP is a specialist Haskell consultancy founded in 2008 and headquartered in London (27 Old Gloucester Street, WC1N 3AX), registered in England and Wales as a private limited liability partnership (OC335890). The firm operates a 11-50 person team of senior Haskell practitioners and sells three productized services: (i) bespoke commercial consultancy for organizations running Haskell in production, (ii) structured training programs delivered via websites under the well-typed.com domain, and (iii) Haskell Ecosystem Support Packages — a subscription offering run jointly with the Haskell Foundation that grants commercial users access to Well-Typed's experts while channeling proceeds back into core toolchain maintenance. Named commercial clients and ecosystem supporters include Standard Chartered, Anduril, Hasura, Juspay, Mercury, Channable, and QBayLogic.

Its core technology sits on the maintenance and evolution of the Haskell compiler toolchain itself. Well-Typed consultants are active contributors and maintainers of GHC (Glasgow Haskell Compiler), Cabal (the Haskell build system), and Haskell Language Server (HLS). Under a contract with Germany's Sovereign Tech Fund (announced October 2023), the firm is the funded steward of Cabal development. Beyond the core toolchain, Well-Typed builds and ships a portfolio of open-source developer tools: the Haskell Debugger (hdb), ghc-debug (out-of-process heap analysis), eventlog-live and eventlog-socket (runtime observability over TCP), ghc-stack-profiler, IHaskell (Jupyter integration with Windows support), hs-bindgen (automatic C-library FFI bindings), and semaphore-compat (cross-platform semaphore abstraction used by cabal-install's `-jsem` parallel-build coordination).

The business model combines time-and-materials professional services, recurring subscription support packages, and structured training. Distribution is direct via [email protected] and phone (+44 1865 606897) targeting enterprise Haskell users globally, supplemented by a technical blog and open-source contribution footprint as top-of-funnel marketing. The firm is founder/partner-owned with no disclosed external investors, no parent company, and no M&A activity.

Name

Well-Typed

Legal name

Well-Typed LLP

Website

https://well-typed.com

Company type

Private

Founded year

2008

Operating status

Operating

Headcount range

11–50 employees

Short description

Well-Typed LLP is a London-based Haskell consultancy (founded 2008) that provides expert advisory, training, and ecosystem support packages to commercial Haskell users while serving as the maintainer of core tooling including GHC, Cabal, and Haskell Language Server.

Ownership category

akta.pro rank

Product category

Haskell Consultancy Services

NAICS

Custom Computer Programming Services (541511), Educational Support Services (61171), Computer Systems Design and Related Services (54151)

SIC

Services-Computer Programming Services (7371), Services-Computer Programming, Data Processing, Etc. (7370)

akta.pro primary industry

Developer Tools & DevOps Platform Services (CI/CD, Artifacts, IaC) (HDABAAAI)

akta.pro secondary industry

DevOps, SRE & Platform Engineering (CI/CD, IaC, Containers) (EDABAFAC)

Keywords

• Haskell consultancy services
• Haskell training programs
• GHC compiler development
• Cabal build system
• Haskell tooling ecosystem

Headquarters

HQ city

London

HQ country

United Kingdom

HQ region

Europe

Offices1 record

Markets served

GTM type

B2B

Offering type

Services

Cost components

Personnel, Technology or R&D, Operations, Marketing or Sales

Revenue model

1. Consultancy Services: Professional Haskell consultancy providing expert services to commercial clients for Haskell development, code review, training, and project assistance.
2. Training Programs: Haskell training programs delivered via separate websites under well-typed.com domain using session and persistent cookies for authentication and program participation.
3. Haskell Ecosystem Support Packages: Commercial support packages providing commercial users with support from Well-Typed experts while investing in the Haskell community and technical ecosystem.

Go-to-market motion1 record

Distribution channels1 record

Marketing channels2 records

Core offering

Well-Typed is a specialist Haskell consultancy founded in 2008 that provides expert Haskell consulting, training programs, and Haskell Ecosystem Support Packages to commercial clients. The firm also develops and maintains a portfolio of open-source Haskell developer tools (including ghc-debug, hdb, eventlog-live, hs-bindgen, and semaphore-compat) and contributes core improvements to GHC, Cabal, and Haskell Language Server.

Product overview

Well-Typed is a Haskell consulting firm established in 2008, offering expert consultancy and training services alongside a portfolio of open-source Haskell development tools. The core offerings include Haskell consulting and training programs, supplemented by Haskell Ecosystem Support Packages for commercial users. The product portfolio includes development tools such as the Haskell Debugger (hdb), ghc-debug for heap analysis, eventlog-live/socket for runtime observability, ghc-stack-profiler, IHaskell for Jupyter notebooks, hs-bindgen for C library bindings, and semaphore-compat for parallel build coordination. These tools are developed as part of Well-Typed's work on GHC, Cabal, HLS, and other core Haskell infrastructure.

Differentiator

Problem solved

Functional benefit

Products and services

• Consultancy Services Expert Haskell consulting services delivered by Well-Typed's team of Haskell specialists to commercial organizations adopting, developing, or optimizing Haskell codebases.
• Training Programs Haskell training programs and materials delivered via separate websites under the well-typed.com domain, with session and persistent cookies for authentication and program participation.
• Haskell Ecosystem Support Packages Commercial Haskell support packages offered in partnership with the Haskell Foundation, providing commercial users with support from Well-Typed experts while investing back into the Haskell community and technical ecosystem.
• Haskell Debugger (hdb) Interactive step-through debugger for Haskell built on top of the bytecode interpreter, implementing the Debug Adapter Protocol for debugging Haskell code directly in editors.
• ghc-debug Tool for out-of-process heap analysis of Haskell programs, enabling detailed memory profiling and debugging without interrupting the running program.
• eventlog-live Tool allowing GHC's eventlog to be monitored live as a program runs, with support for TCP input, profiling integration, and GHC itself as a monitoring target.
• eventlog-socket Library underlying eventlog-live, providing eventlog lifecycle hooks, command registration, and profiling support for Haskell programs.
• ghc-stack-profiler Profiler for Haskell that relies on stack annotations rather than heavier profiling mechanisms, integrated with eventlog-socket for streaming.
• hs-bindgen Tool for automatic construction of Haskell FFI bindings from C headers: users point it at a C header and it generates the corresponding Haskell foreign-function interface bindings.
• semaphore-compat Cross-platform abstraction layer for communicating with system semaphores, including interruptible wait operations, used by cabal-install and GHC for parallel build coordination.
• IHaskell Haskell kernel for Jupyter notebooks providing an interactive computing environment for Haskell, with Windows support added by Well-Typed.

Segments1 record

Ideal customer profiles1 record

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Feature5 records

Partnerships

One partnership is on record.

• Haskell FoundationcoreStrategic or Co-development PartnerWell-Typed partners with the Haskell Foundation on Haskell Ecosystem Support Packages, providing commercial users with support while investing in the Haskell community and technical ecosystem.

Scale indicators1 record

Recent moves5 records

Expansion highlights5 records

Direct peers

• Modus Create: Modus Create is an independent digital consulting firm providing specialized technology services across languages and platforms. Like Well-Typed, they operate as a remote-first consultancy serving enterprise clients with deep technical expertise, though spanning a much broader technology stack.
• Galois: Galois is a research and consulting firm specializing in functional programming, formal verification, and high-assurance systems, with deep Haskell expertise. Like Well-Typed, they combine consulting with open-source contributions to the Haskell ecosystem (including GHC and related tooling), serving defense, aerospace, and finance clients.
• Tweag I/O: Tweag I/O is a software consultancy with a strong focus on functional programming (Haskell, Scala, Nix) that develops developer tools and provides consulting services. They are the closest direct competitor to Well-Typed in the Haskell consulting and tooling space, including contributions to compiler and build infrastructure.
• 47 Degrees: 47 Degrees is a functional programming consultancy offering services in Haskell, Scala, and other FP languages, with a similar blend of paid consulting and open-source contributions. They compete for the same enterprise Haskell adoption engagements and developer-tooling contributions.

Broad incumbents

• Thoughtbot: Thoughtbot is a well-established consultancy offering development and consulting services across multiple languages and frameworks. While not Haskell-specific, they operate a similar boutique-consulting business model with a strong focus on developer experience, training, and tooling contributions.

Emerging players

• Input Output Global (IOG): IOG (formerly IOHK) is a blockchain research and engineering company built heavily on Haskell, employing Haskell developers at scale for Cardano. They sit at the intersection of Well-Typed's client base (heavy Haskell users) and Haskell ecosystem stewardship, and are a notable employer of Haskell talent rather than a direct competitor.

Market position

Strengths4 records

Weaknesses5 records

Competitive moat3 records

Key risks5 records

Key highlights6 records

Customer concentration

• Xx.com/welltyped
• LinkedInlinkedin.com/company/well-typed-llp

Revenue estimate

Valuation estimate

Number of profiles

Profiles15 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Well-Typed