4 ms·typed-arrow avoids any kinds of runtime side effects: cost, errors, etc.by ethegwo 1y agotyped-arrow avoids any kinds of runtime side effects: cost, errors, etc.