Current `Query` return a Rational . But it shall return Int, Balance , Rate . #### propose design It shall using GADT, but GADT hasn't been ready yet in Aeson