-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego This reminds me to ask: seems like there's a relationship between subtyping variance and functor variance (co/contra/inv). True? -
@dibblego E.g., Ordering[A] has a contravariant functor and could be written as contravariant in A. - Show replies
New conversation -
-
-
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.