in kind inference apply current substitution to environment before starring out.
in kind inference apply current substitution to environment before starring out.
hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc