Class[_] is now an end type by default