Feature request: Parse `:type` and `:kind` interactive commands

[aneilmac]

Overview

MicroHS interactive mode allows for :type to display the type of an expression, and :kind to to display the kind of a type. It would be useful for users of xeus-haskell to have the same ability to debug types and expressions by producing the same in cell output.

Examples

:type "Hello World"
> "Hello World" :: [Char]

:kind Int
> Int :: *

[sociality]

We are actively working with xeus with a group of mathematics teachers (see https://github.com/HubTizard/xeus-haskell/blob/main/notebooks/WhatWeOwe/WhaWeowe.ipynb) in the UK and US. We'd be very grateful if you could prioritise this request as :t is a key element of the learning. Many thanks.

[tani]

@sociality @aneilmac I have vibe-coded to implement these magic comment.
please check it out! https://github.com/jupyter-xeus/xeus-haskell/blob/main/notebooks/introduction_to_haskell.ipynb