TBF, you can just do
let _ : () = /* some expr whose type you don't know */
And compile it. It will quickly fail with a type error, giving you the full type of the expression.
That is how I check such types outside IDEs in other ML derived languages.