Haskell Pro
This is a solid choice if you're working in Haskell and want help with the advanced stuff: GADTs, type families, STM concurrency, effect systems, that sort of thing. It pushes you toward pure functions, total over partial, and newtypes for domain modeling. You'll get idiomatic code with strong type signatures, property-based tests, and sensible project structure advice for Cabal or Stack. The approach is pragmatic rather than academic, which means it won't drown you in category theory unless the problem actually calls for it. Good for production Haskell where you want maintainability and type safety without overthinking every abstraction.
- skills.sh installs
- 213
- GitHub stars
- 39.4K
- last updated
- Jun 3, 2026
Install
$ npx -y skills add sickn33/antigravity-awesome-skills --skill haskell-pro --agent claude-codeInstalls into .claude/skills of the current project.
Files
Use this skill when
- Designing domain invariants with newtypes, algebraic data types or GADTs.
- Reviewing Haskell parsing, STM/async resource safety, project builds or measured allocation and latency.
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.
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)
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageDetails
- Repository
- github.com/sickn33/antigravity-awesome-skills
- First seen
- Jun 3, 2026
More from sickn33/antigravity-awesome-skills
All 708- Threat Mitigation Mapping212
- Cc Skill Clickhouse Io211
- Embedding Strategies210
- Xlsx208
- Cqrs Implementation207
- Bats Testing Patterns206
- Antigravity Skill Orchestrator205
- Conductor Validator205
- Julia Pro205
- X Article Publisher Skill205
- Ml Pipeline Workflow204
- Distributed Tracing203
- Fix Review203
- Pci Compliance203
- Team Collaboration Issue203
- Fal Generate201
- Graphql Architect201
- Incident Response Incident Response201
- Network 101201
- Workflow Patterns201
- Multi Cloud Architecture200
- Stride Analysis Patterns199
- Bazel Build Optimization198
- Hybrid Search Implementation198
Recommended
cavemanjuliusbrussee/cavemanUltra-compressed communication mode. Cuts output tokens 65% (measured) by speaking like caveman while keeping full technical accuracy. Supports intensity levels618.3Kskills.sh installs
improveshadcn/improveSurvey any codebase as a senior advisor and produce prioritized, self-contained implementation plans for OTHER models/agents to execute. Strictly read-only on s40Kskills.sh installs
systematic-debuggingobra/superpowersUse when encountering any bug, test failure, or unexpected behavior, before proposing fixes326.7Kskills.sh installs
karpathy-guidelinesforrestchang/andrej-karpathy-skillsBehavioral guidelines to reduce common LLM coding mistakes through explicit assumptions, simplicity, and verifiable success criteria.17.9Kskills.sh installs
find-skillsvercel-labs/skillsHelps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express int4.3Mskills.sh installs