T typelevel.org Higher-kinded types: the difference between giving up and moving forward 139 points dmit 10 years ago 56 comments