In 2.7.5 we discuss option-mapped types, and describe type ascription.
hvesalai noted that the following will also resolve this issue for e.g., custom ADT:
implicit def getOptionMapper2TT[B1, B2 <: Country.Value : BaseTypedType, P2 <: B2, BR] =
OptionMapper2.plain.asInstanceOf[OptionMapper2[B1, B2, BR, B1, P2, BR]]
In 2.7.5 we discuss option-mapped types, and describe type ascription.
hvesalai noted that the following will also resolve this issue for e.g., custom ADT: