subjectId
inScope
Compilers, theorem-adjacent tooling, financial DSLs, and any domain
where strong purity + type-driven design pays back the investment.
Production users include Standard Chartered, Hasura, and GitHub
(Semantic).
outOfScope
Teams without typeclass / monad fluency, perf domains where strict
evaluation matters more than equational reasoning, and ecosystems
that demand a standard runtime.
outOfScopeReasonIds