If the interviewer were better they would instead ask: if no one else on the dev team knows the type system how do you handle that situation? Which gets at the

If the interviewer were better they would instead ask: if no one else on the dev team knows the type system how do you handle that situation? Which gets at the real risk, maybe valid, that someone super smart who isn’t the best communicator will go and make a bunch of code that no one else in the company can reason about. Maybe you get a really nice explanation of the type system, or they are aware this is an esoteric approach but used it anyway because you said anything goes and it’s cool.