Lazy now covariant.