the absense of runtime type params and value types...
# arrow
n
the absense of runtime type params and value types makes typesystems feel half-baked