type family Tuple2RTuple a

type family RTuple2Tuple a

type family Insert t set

type family MapRTuple f tup

class MapRTuple2 f tup tup'