Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Blog: type-level programming (1 post)
all
animation
announcement
asterius
auditing
azure
bash
bazel
best-practices
blockchain
buck2
build-systems
c
c++
capability
cardano
cargo
cloud
cmake
contract-testing
cooked-validators
cybersecurity
data-engineering
data-science
delta-lake
dependency-management
devops
domain-driven-design
fawltydeps
fellowship
formal-methods
formatting
frontend
generative-ai
ghc
golang
halide-haskell
haskell
high-assurance
icfp
inline-java
integration-testing
internship
jobs
jupyenv
jupyter
linear-types
liquidhaskell
llm
llm-evaluation
machine-learning
MCMC
meta
monorepo
nickel
nix
ocaml
optics
packaging
processes
profiling
programming-languages
python
rag
ray
react
react-native
reanimated
regulation
reproducibility
retrieval
rust
sbom
servant
skia
smart-contracts
software-quality
state-machine
statistics
terraform
tools
topiary
training
trustix
tutorial
type-level programming
typescript
ux
webassembly
20 July 2023
How to Prevent GHC from Inferring Types with Undesirable Constraints
Nicolas Frisby
A GHC pattern for improving the user experience of type-level programs
ghc
haskell
type-level programming
Company
About
Open Source
Careers
Contact Us
What we do
Strategy
Product Development
Platform Modernization
Digital Operations
Work
Insights
Modus Blog
Ospo Blog
Research
Innovation podcast
Connect with us
© 2025 Modus Create, LLC
Privacy Policy
Sitemap
