@dibblego bettet to replace 'then' with 'isa'
Covariance if (if A then B) then (if F[A] then F[B]) Contravariance if (if B then A) then (if F[A] then F[B])
-
-
-
@aminize Completely disagree. The statement becomes ambiguous at best, inaccurate in practice.
End of conversation
New conversation -
-
-
@ryanonsrc
@dibblego all he did was add "if" and replace "=>" with "then" - try it at home! (A => M[B]) => M[A] => M[B]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.