An architecture astronauts in Java just use code generation and runtime reflection, which are bigger nightmares than type system features.

Architecture astronauts are going to be a problem regardless of language features.