ghci -i../red-lava/modules/: Main.hs
