Funny fails compilation

Funny fails compilation