namespaceArg :: ([String] -> Command) -> String -> IP.IdrisParser (Either String Command)
namespaceArg = genArg "namespace" (fmap toNS IP.identifier)
  where
    toNS  = splitOn "."
namespaceArg :: ([String] -> Command) -> String -> IP.IdrisParser (Either String Command)
namespaceArg = genArg "namespace" (fmap toNS IP.identifier)
  where
    toNS  = splitOn "."
namespaceArg = genArg "namespace" (fmap toNS IP.identifier)
  where
    toNS  = splitOn "."