WeakTypeTag[<refinement>.this.Repr]
(Int, Int)