considering a contra-type