Up-to-date automatic codec derivation with shapeless' Lazy