twiddle measure
Remove findInstance function.
Add quantified types.