lack of higher kinded types, If you know about kinding, you probably understand that type system design really has to go hand-in-hand with language design. Int

lack of higher kinded types, If you know about kinding, you probably understand that type system design really has to go hand-in-hand with language design. Introducing those kinds of breaking changes now is incredibly difficult, unfortunately. As far as boilerplate goes, though, I can't promise anything but I can say that we hear you and this is something that could get attention in the near future.