The rationals are `Encodable`. #

As a consequence we also get the instance Countable ℚ.

This is kept separate from Data.Rat.Defs in order to minimize imports.