I don't think some of the people who are hyping up just using runtime monitoring without type checker quite understand what boilerplate is.

I can hardly see how type annotations are considered to be boilerplate by the very same people who write down the same data schema three times in their applications and libraries.