Testing Typeable metavar derivation