New combinators on Codec that simplify working with known good values