Dynamic record with value type depending on key suffix - Theo's Typesafe Cult