A demo of using GHCi as a persistent development environment