Use REPL (PSCi)

Commands

check the type

Applicable on values, functions/data constructor,

:type        <expr>       Show the type of <expr>

check the kind

Applicable on 'type':

:kind        <type>       Show the kind of <type>

reload

edit code in .purs file and reload in REPL, instead of using ":paste"