Suggested by @marick on twitter.

Can we copy Elm and Idris and print the type of something after evaluating it in the repl?

Eg:

Idris> \x => x +  1
\x => prim__addBigInt x 1 : Integer -> Integer

I'm not yet sure how this would interact with a) evaluating Eff actions and b) the Eval type class in psci-support; we would need to work that out.

Unfortunately I don't have much time to devote to this right now, but I wanted to make a note of this before I forget and hopefully I can look at it after the end of this semester (if nobody beats me to it).