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.