Есть ли онлайн-инструмент, опция / расширение настроек IDE или VSCode, которая позволяет создавать прототипы определений типов (проще / быстрее)?
Единственная известная мне опция - навести курсор на набранный оператор, который отображаетсвязанный тип во всплывающей подсказке. Это очень непрактично для использования, поскольку типы обрезаются и не являются интерактивными, т.е. я не могу навести курсор на подкомпонент типа, чтобы увидеть обрезанную часть. Также невозможно сказать, какой подтип не удался, так как он не выделен. 
Если мне нужно пройти по сложному типу, чтобы обнаружить ошибку, я должен деконструировать ее, как показано ниже, а затем продолжать наводить курсор на каждое утверждение, что очень неудобно. Возможно, если бы только IDE могла автоматически генерировать эти «комментарии к результатам», это облегчило бы жизнь. 