rename names inside pattern bound type signatures
rename names inside pattern bound type signatures
shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc