fun : Mono Int -> Mono Int ;
fun = \x. x ;
