let
rdestr ppf ~term =
fprintf ppf
"@[<v>@[inter(.) cannot be applied on the type@;<1 2>%t@]@]"
term