Replaced ImplicitCodec/DerivedCodec with Lazy