> wildly excessive amounts of prose

Not just prose. I think this is part of the reason why you see ridiculous code with insane error handling and type checking even for impossible cases.