failing test for contravariance gh-25
contravariance implemented on inteface types

closes gh-25