f96b6beefc ^
c1f5cbd4a0 ^
1 2 3
4
abstract class HigherKind[m[s]] { val x: m // type of kind *->* doesn't classify a value, but a val/def/... can only contain/return a value def y: m }