Shift everything into the Ghc monad
Automatically print the type
Bump version