01:42
<Domenic>
I'm pretty sure this is exactly what types-as-comments was designed for!