# Codec Like bijections, but pure and suitable for `cats`.