in this case the correctness of the type system is...
# language-proposals
y
in this case the correctness of the type system is more important for us than the ability to write one-liners