Would it be possible to imlement showing the type of various parts of the code? For example the original F# interactive will display the type of anything that is not evaluated:

> Seq.find;;
val it : (('a -> bool) -> seq<'a> -> 'a) = <fun:clo@4-1>

ghci has the command :t expr to print the type of expr. Some IDE's display the type as a tooltip (that would need support selection so that you can choose what you want evaluated for type).

Thanks 👍