Update type signature of 'feedback' to prevent anti-causal types