I\'m not an English native speaker, so I\'m wondering how to read out the related code, like:
(a -> A, b-> B)
