# Build Reliable Haskell Systems

Complex Haskell designs can hide unsafe assumptions, unclear effects, and performance problems. This skill provides practical guidance for typed architecture, concurrency, parsing, testing, and builds.

## Install

```bash
npx skillstore add sickn33/haskell-pro
```

## Metadata

- Status: approved
- Slug: sickn33-haskell-pro
- Skillstore revision: r2
- Version status: missing
- Tree hash: a4a2ab7cdb19fd88cd4eb21c141dd175de294e2174535fbfc71bd86e751b4437
- Author: sickn33
- GitHub username: sickn33
- License: MIT
- Repository: https://github.com/sickn33/antigravity-awesome-skills/tree/main/skills/haskell-pro
- Ref: 88a8e9a07f4c54ab105c1c41b6267c287146b07b
- Supported tools: Claude, Codex, Claude Code
- Audit status: complete
- Agent install advisory: allowed
- Manual install advisory: allowed
- Artifact signature: available
- Audit attestation: unavailable
- Human verification: not\_verified
- Risk factors: external\_commands
- Quality score: 78
- Quality tier: bronze
- Public page: https://skillstore.pages.dev/skills/sickn33-haskell-pro
- Manifest: https://skillstore.pages.dev/api/skills/sickn33-haskell-pro/manifest

## Capabilities

- Design domain models with GADTs, newtypes, type families, and phantom types.
- Recommend total functions and isolate effects behind explicit boundaries.
- Structure Cabal or Stack projects with clear modules and dependency hygiene.
- Develop STM and async concurrency patterns with exception-safe resource handling.
- Guide parsing and serialization with Megaparsec and Aeson.
- Create QuickCheck and Hspec tests based on properties and invariants.

## Use Cases

- Model a New Domain: Turn business rules into explicit types, validated constructors, and pure transformations.
- Review Concurrent Code: Assess STM, async, cancellation, and exception handling for clear ownership and reliable behavior.
- Strengthen a Haskell Project: Improve module boundaries, build configuration, parsing, tests, and dependency practices.

## Prompt Templates

### Improve a Function

```
Explain and improve this Haskell function: [paste function]. Identify partial behavior, clarify its type signature, and propose focused tests.
```

### Design a Typed Model

```
Model these domain rules in Haskell: [rules]. Use the simplest types that prevent invalid states and explain each design decision.
```

### Review Concurrent Architecture

```
Review this concurrent Haskell design: [description or code]. Analyze STM boundaries, cancellation, exceptions, resource cleanup, and test strategy.
```

### Plan a Production Refactor

```
Create a staged refactor plan for this Haskell project: [context]. Address module design, effects, dependencies, profiling, compatibility, migration risks, and verification.
```

## Limitations

- The skill does not run GHC, Cabal, Stack, profilers, or test suites by itself.
- Recommendations require validation against the project compiler version and dependencies.
- Performance guidance depends on real profiling data and representative workloads.
- The skill does not replace project-specific security or production review.

## Best Practices

- Provide compiler version, dependency versions, constraints, and expected behavior.
- Include minimal relevant code and exact build, test, or profiling errors.
- Validate recommendations with compilation, tests, benchmarks, and representative workloads.

## Anti Patterns

- Do not request advanced type features without a concrete invariant or maintenance benefit.
- Do not optimize from source inspection alone when profiling data is available.
- Do not apply generated changes without checking compiler compatibility and project tests.

## Security Audit

- Audited at: 2026-07-23T23:10:52.979\+00:00
- Summary: The only static finding is false: line 24 formats a relative documentation path with Markdown backticks and does not execute a command. No prompt injection or other intent-level security issue was found in SKILL.md.

## Stats

- Views: 91
- Downloads: 9
- Favorites: 0
- Popularity score: 0