WarningNoGuardedness.agda:4,8-9
R is declared coinductive, but option --guardedness is not enabled.
Coinductive functions on this type will likely be rejected by the
termination checker unless this flag is enabled.
when checking the definition of R

———— All done; warnings encountered ————————————————————————

WarningNoGuardedness.agda:4,8-9
R is declared coinductive, but option --guardedness is not enabled.
Coinductive functions on this type will likely be rejected by the
termination checker unless this flag is enabled.
when checking the definition of R
