<@U0Q8NSFRN>: we are basically in agreement - pure...

# language-proposals

[zvozin]

@fellshard: we are basically in agreement - pure FP automatically implies type systems with higher kinded types. In other words, Haskell and its progeny 😛