As per FIXME. It seems like this annotation being necessary is a type inference infelicity.
As per FIXME. It seems like this annotation being necessary is a type inference infelicity.