Union types don't output correctly about reasonablytyped HOT 2 CLOSED

If you could also hide the string_or_float call:

external _log : string_or_float -> unit = "" [@@bs.val "console.dir"];;
let log union_of_string_or_float = _log (string_or_float union_of_string_or_float)

log (String (string_or_bool (Bool true)))

This wouldn't cover the case of nested union, though. Do these occur at all?

from reasonablytyped.

More often than I'd like them to. Another problem is when the union is declared outside of the parameter than the type is substituted

from reasonablytyped.