rta: consider type tests for covariant signatures