hkt
hkt copied to clipboard
Anonymous instantiation of __* interfaces is possible
This
__2<p, S, A> nasty() {
return new __2<p, S, A>() {};
}
compiles. It shouldn't.