diff options
Diffstat (limited to 'docs/HigherKinded-v2.md')
| -rw-r--r-- | docs/HigherKinded-v2.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/HigherKinded-v2.md b/docs/HigherKinded-v2.md index 3216f42f4..56f85a2c9 100644 --- a/docs/HigherKinded-v2.md +++ b/docs/HigherKinded-v2.md @@ -184,7 +184,7 @@ of `Lambda$NP` would themselves be written as follows. trait Lambda$IP[type $hkArg$0, +$hkArg1] { type +Apply } extends Lambda$II trait Lambda$NI[type -$hkArg$0, $hkArg1] { type +Apply } extends Lambda$II - trait Lambda$II[type -hkArg$0, $hkArg1] { type +Apply } + trait Lambda$II[type $hkArg$0, $hkArg1] { type +Apply } `Lambda` traits are special in that they influence how type applications are expanded: If the standard type application `T[X1, ..., Xn]` |