#A #xs (((List.reverse.go A) xs) (List.nil A))