Most of the type aliases here lost a couple of variance annotations.