refTypeViaContravariant
cats
refTypeViaMonadError
cats