@iceland_jack
Haskell
ID: 2832623057
calendar_today15-10-2014 20:08:35
31,31K Tweet
3,3K Followers
558 Following
2 days ago
(forall x. Cls x => x) is the limit of the forgetful functor from f-algebras, assuming class Cls a where meth :: f a -> a It is isomorphic to Fix f