Report question

Question: Deducing knowledge of original types, whilst simultaneously forwarding