Make variance issues work

By using contravariance we can use Any to act as the signal for 'not used' instead of Nothing.