FromTuple typeclass. use black triangle right for Z_n -> Z_m