SpiceQA
Questions
Tags
Users
Badges
representable
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
When is Ap's Num instance lawful?
user_7509065
0
•
asked Jan 28, 2022
5
2
146
typeclass-laws
representable
typeclass
haskell
How to use the singletons library to define a HasRep instance for existentially quantified types?
user_1549736
0
•
asked Nov 14, 2018
2
0
71
representable
singleton-type
existential-type
haskell
1
(current)
Hot Questions