WYCS: nice, added better extraction of quantified variables from type patterns.