Automated summary
Provides advanced Haskell engineering guidance covering type systems, pure functional architecture, STM/async concurrency, and performance tuning.
Strengths
- Covers concrete advanced topics: GADTs, type families, phantom types, and law-driven typeclass design
- Favors total, safe functions over partial ones with explicit isolation of IO effects
- Includes guidance on concurrency (STM, async), parsing (Megaparsec, Aeson), and Cabal/Stack configuration
- Asks for examples runnable in GHCi or directly compilable, plus property-based QuickCheck/Hspec tests
Limitations
- No specific GHC version, library, or extension set is pinned, so advice stays general
- Does not address AI tooling or other languages; scope is strictly Haskell
- Detailed examples are deferred to an external file (resources/implementation-playbook.md) not included here
Use it when designing or refactoring demanding Haskell code: type-driven domain modeling, pure/effectful separation, concurrency, or performance optimization.
Avoid it for non-Haskell tasks, quick scripting in another language, or when purely syntactic help without type-level reasoning is enough.
Security analysis
SafeThis is a pure instructional persona prompt for Haskell engineering. It declares no allowed-tools, contains no shell commands, no network calls, no file operations, and no obfuscated payloads. The only reference to an external artifact is an optional 'resources/implementation-playbook.md' read, which is benign and non-executing. Nothing here can cause destructive or exfiltrating behavior.
No concerns found
How this analysis is madeExamples
I'm modeling a payment workflow in Haskell. Can you show how to use GADTs and phantom types to enforce valid state transitions at compile time, with a GHCi-runnable example?My Haskell module uses head, fromJust, and unsafe indexing all over. Refactor it to use total, safe alternatives with explicit error types, and add Hspec tests.This Haskell service is slow under load and uses plain IO with shared mutable state. Suggest an STM-based redesign, strictness fixes, and profiling steps to confirm the improvement.name: haskell-pro description: "Expert Haskell engineer specializing in advanced type systems, pure" risk: safe source: community date_added: "2026-02-27"
Use this skill when
- Working on haskell pro tasks or workflows
- Needing guidance, best practices, or checklists for haskell pro
Do not use this skill when
- The task is unrelated to haskell pro
- You need a different domain or tool outside this scope
Instructions
- Clarify goals, constraints, and required inputs.
- Apply relevant best practices and validate outcomes.
- Provide actionable steps and verification.
- If detailed examples are required, open
resources/implementation-playbook.md.
You are a Haskell expert specializing in strongly typed functional programming and high-assurance system design.
Focus Areas
- Advanced type systems (GADTs, type families, newtypes, phantom types)
- Pure functional architecture and total function design
- Concurrency with STM, async, and lightweight threads
- Typeclass design, abstractions, and law-driven development
- Performance tuning with strictness, profiling, and fusion
- Cabal/Stack project structure, builds, and dependency hygiene
- JSON, parsing, and effect systems (Aeson, Megaparsec, Monad stacks)
Approach
- Use expressive types, newtypes, and invariants to model domain logic
- Prefer pure functions and isolate IO to explicit boundaries
- Recommend safe, total alternatives to partial functions
- Use typeclasses and algebraic design only when they add clarity
- Keep modules small, explicit, and easy to reason about
- Suggest language extensions sparingly and explain their purpose
- Provide examples runnable in GHCi or directly compilable
Output
- Idiomatic Haskell with clear signatures and strong types
- GADTs, newtypes, type families, and typeclass instances when helpful
- Pure logic separated cleanly from effectful code
- Concurrency patterns using STM, async, and exception-safe combinators
- Megaparsec/Aeson parsing examples
- Cabal/Stack configuration improvements and module organization
- QuickCheck/Hspec tests with property-based reasoning
Provide modern, maintainable Haskell that balances rigor with practicality.
From the file to a first result
The download contains exactly the content displayed on this page. This copy may differ from the latest version in the source repository.
View the source and supporting filesThis download contains SKILL.md only. Any scripts, references, templates and dependencies are not included. Get the required files from the source, preserving their directory structure, before continuing.
1. Download the file
Download SKILL.mdFrom the root of a test project, save the file as .skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md, or use the command below. This folder is for inspecting the skill before installation.
Command for macOS/Linux or WSL: requires a POSIX shell and curl. On Windows without WSL, use the download button and create the folder manually.
mkdir -p '.skill-downloads/expert-haskell-engineer-mrx3xz2d' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/expert-haskell-engineer-mrx3xz2d/download' --output '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md.part' && mv '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md.part' '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md'2. Check prerequisites
Read SKILL.md before using it. If it references scripts or external services, inspect them and prepare the required access in your test environment.
No recognized prerequisites section in this file. This does not mean it is self-contained: libraries, tools and access requirements may be mentioned elsewhere in the content or source repository.
The platforms on this page are catalog indications. The paths below follow tool documentation; they do not prove this skill has been run in those tools. No minimum tool version is confirmed for this listing.
3. Load the skill
After inspection, copy the complete folder into your project using one of the commands below, then open a new tool session. The command stops if a folder with the same name already exists: compare the files before replacing it.
Claude Code
test -f '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && test -s '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/haskell-pro' && cp -R '.skill-downloads/expert-haskell-engineer-mrx3xz2d' '.claude/skills/haskell-pro'Cursor
test -f '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && test -s '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && mkdir -p '.cursor/skills' && test ! -e '.cursor/skills/haskell-pro' && cp -R '.skill-downloads/expert-haskell-engineer-mrx3xz2d' '.cursor/skills/haskell-pro'Codex
test -f '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && test -s '.skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md' && mkdir -p '.agents/skills' && test ! -e '.agents/skills/haskell-pro' && cp -R '.skill-downloads/expert-haskell-engineer-mrx3xz2d' '.agents/skills/haskell-pro'OpenSkills
OpenSkills must already be installed. The local install/read procedure is checked with OpenSkills 1.5.0, which requires Node.js ≥ 20.6.0. Catalog slugs are not resolved automatically.
Official OpenSkills installationopenskills install './.skill-downloads/expert-haskell-engineer-mrx3xz2d'openskills read 'expert-haskell-engineer-mrx3xz2d'Reading should display the installed file content and its base directory. It does not run the skill or install its dependencies.
For an agent that reads AGENTS.md, then sync the index. This command changes AGENTS.md: review the diff before using it.
openskills syncManual method or another tool: attach SKILL.md to a conversation, or open it in an agent that can read files. Include any required supporting resources. No universal folder is recognized by every tool.
4. Try a first task
Use a short, synthetic input: an API endpoint, a small document or an interface brief. In a new conversation, attach the file or give the agent its path, then adapt this request:
Read .skill-downloads/expert-haskell-engineer-mrx3xz2d/SKILL.md and apply its instructions to this example: [describe a test input]. Identify any missing files, dependencies or access. Produce the result requested by the skill without inventing data or running unreviewed scripts.Expected result: output matching the skill instructions, or a precise list of missing prerequisites. A read confirmation alone does not validate a first use. If an external resource is unavailable, that path remains untested.
React Hook Form Best Practices
Development
Master React Hook Form: avoid anti-patterns, manage subscriptions, and handle reset, dirty state, and controlled inputs correctly.
Emotion to Mantine Migration
Development
Migrate Emotion styled-components to Mantine components with style props and CSS modules. Use when converting .styled.tsx files or removing @emotion imports.
Scope Creep Detector
Development
Analyzes git diffs against a stated intent to detect scope creep, unrelated files, broad PRs, and oversized changes, then suggests keep, split, or justify actions.