The type parameter s is phantom. That is, it has no term representation: the parameter s occurs only in type expressions without affecting term expressions.
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
rasendubi - (no access) - Functional Pearl: Implicit Configurations - or, Type Classes Reflect the Values of Types.pdf, p4
Summary
| status | not read | | reprioritisations | |
|---|
| last reprioritisation on | | | suggested re-reading day | |
|---|
| started reading on | | | finished reading on | |
|---|
Details