Higher-kinded types: the difference between giving up, and moving forward (2016)