Note type-safety boring caveat