snak

snak has asked 3 questions and find answers to 35 problems.

Stats

About

snak questions

Why can an existential type be poly-kinded?
Restrict types in Sigma

snak answers

Haskell exception can not be caught on Windows
How do I simplify this type-level function that compares symbols?
How to compose Free Monads
Haskell function with length-indexed vector and predicate constraint
Type of existing object all as string
Unable to cast exceptions thrown via `throwTo` using `fromException`
TypeScript type inference with lookup types and switch case
How can I fix this Monomorphism Restriction warning
In Haskell, is it possible to qualify part of an imported module?
.dll Plugin that uses functions defined in the main executable