About Me
// Hello, World !
Top Answers
-
Type family evaluation in dependent kind signature
5 votes
-
Are all fixed size containers strong monoidal functors, and/or vice versa?
5 votes
-
Algorithm for iterating over an outward spiral on a discrete 2D grid from the origin
4 votes
-
Filter on keyof type parameter in typescript
4 votes
-
How to require functional dependencies in kind signature?
3 votes
Top Questions
-
Do maps with list keys form a monad?
15 votes1 answers
-
Interaction between associated type families and quantified constraints
9 votes0 answers
-
Are all fixed size containers strong monoidal functors, and/or vice versa?
8 votes3 answers
-
Why can't I find any law violations for the NotQuiteCofree not-quite-comonad?
8 votes2 answers
-
Is every Alternative Monad Filterable?
7 votes1 answers