Go to definition/peek definition of type

[jacknojo]

Say I have some type t defined in a module and I use this type in another module M2.
Would it be possible to add functionality, when editing M2, to preview/go-to the type definition?

Say for example I have a value v of variant type t. It can be useful to be able to see what the available data constructors are for t without having to browse for the definition of t.