SpiceQA
Questions
Tags
Users
Badges
user_663299
@user_663299
0
reputation
0
answers
6
questions
About Me
// Hello, World !
Top Answers
Not in scope: type constructor or class ‘∼’
9 votes
Top Questions
Using a promoted data constructor as a phantom parameter
5 votes
2 answers
Multiplication problem involving kind `Nat`
5 votes
1 answers
Creating an array of things based on a type when you don't have an input parameter to tell you the type
4 votes
1 answers
Not in scope: type constructor or class ‘∼’
3 votes
1 answers
Should stack repl load test modules from *other* packages?
2 votes
1 answers