a -> a -> a -- I know this has 2 inhabitants, because I enumerate them in my head. Is there a better method for calculating number of inhabitants of polymorphic types?
Replying to @puffnfresh
You can calculate it using Yoneda, but that too, relies on parametricity.
12:05 PM - 31 Dec 2018
0 replies
0 retweets
3 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.