utilize coercion information to add type lambdas
utilize coercion information to add type lambdas

darcs-hash:20060302123118-1a7c6-248db4653357751f81366a048703076a8ca53edf

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