mapComposition
DecoderLaws
mapDecoded
CodecValue
IllegalValue
LegalValue
mapEncoded
CodecValue
IllegalValue
LegalValue
mapEncodedComposition
EncoderLaws
mapEncodedIdentity
EncoderLaws
mapIdentity
DecoderLaws