match inside types of lambda and pi bindings
match inside types of lambda and pi bindings

darcs-hash:20060228022108-1a7c6-fec84f418c53cde846185c6cf29af9eb341a6213

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc