when printing lambdacube, show when type annotation differs from infered type
when printing lambdacube, show when type annotation differs from infered type
shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,hvr/jhc,shinnya/jhc-mirror