im having trouble unmapping a mapped tuple to its constituent types. How can i implement the read method of Impl[T] in a typesafe way? currently I
read
Impl[T]