Derive Type from Parameter of function attach to object (possibly recursive idk) - Theo's Typesafe Cult