Command in ghci should have a `:` prefix