snak

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

Stats

About

snak questions

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

snak answers

Class problems with Haskell
Using lenses to view a Map as key-value pairs?
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