He's saying there is no abstraction over higher-kinded type constructors, i.e. n... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

wetmore on Aug 22, 2016 | parent | context | favorite | on: Higher-kinded types: the difference between giving...

He's saying there is no abstraction over higher-kinded type constructors, i.e. no abstraction over types which accept their own type arguments.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact