Reminder. This code:
f :: a -> a
f a = a
is easier to read than this code:
f :: Int -> Int
f a = a
@parametricity
-
@dibblego seriously ?
@avsudheer If the most trivial possible example invokes incredulity, I must stop.
-
-
@dibblego I can bear the radiance of knowledge. But your example is subjective. -
@avsudheer No really. It isn't subjective. That is the point. This can be discussed further.
End of conversation
New conversation -
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.