Reminder. This code:
f :: a -> a
f a = a
is easier to read than this code:
f :: Int -> Int
f a = a
@parametricity
-
-
Replying to @avsudheer
@avsudheer If the most trivial possible example invokes incredulity, I must stop.1 reply 0 retweets 0 likes
Replying to @avsudheer
@avsudheer No really. It isn't subjective. That is the point. This can be discussed further.
8:04 PM - 12 Feb 2015
0 replies
0 retweets
0 likes
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.