cmd_printdepth :: String -> IP.IdrisParser (Either String Command)
cmd_printdepth _ = do d <- optional (fromInteger <$> IP.natural)
                      return (Right $ SetPrinterDepth d)
cmd_printdepth :: String -> IP.IdrisParser (Either String Command)
cmd_printdepth _ = do d <- optional (fromInteger <$> IP.natural)
                      return (Right $ SetPrinterDepth d)
cmd_printdepth _ = do d <- optional (fromInteger <$> IP.natural)
                      return (Right $ SetPrinterDepth d)