Why doesn't contravariance apply in certain cases like b → Int a → Int
Why doesn't contravariance apply in certain cases like b → Int a → Int
I hope you found a solution that worked for you :)
The Content is licensed under (https://meta.stackexchange.com/help/licensing) CC BY-SA.
Attention! This video does always use the same license as the source!
Thanks to all those great people for their contributions!
(stackoverflow.com/users/27723238/nisnis)NisNis
(stackoverflow.com/users/246886/jon-purdy)Jon Purdy
A special thanks goes out to the (stackoverflow.com/questions/79072356/why-doesnt-contravariance-apply-in-certain-cases-like-b-%e2%86%92-int-a-%e2%86%92-int)Stackexchange community
I wish you all a wonderful day! Stay safe :)
If anything is off, please write me at peter D.O.T schneider A.T ois42.de
type-inference higher-rank-types haskell functional-programming