Timestamped, Notification and Future are now also treated as covariant