After a lifetime of near-everyday coding, I still have to think really hard to reason about higher-order variance.
-
...your data is sometimes VERY hard and makes my mind melt. Covariance can create some very counter-intuitive yet correct restrictions.
Note that you can also do this, if you're feeling adventurous: type Foo[+Tc[-_]] = ...
-
-
A part of me does actually see that as an appealing adventure! The wiser other tells me I'm sick and need help.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.