refined can add restrictions over types (e.g., primitive types). It seems we need to add a pattern matching rules for this:
https://github.com/fthomas/refined

• refined also uses Either. airframe-codec should support this type as well.