fun : Mono Int -> Mono Int ;
fun = let f = \x. x in f 3 ;

