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