abstract LetInTypesAbs = {

fun f : let id = Int -> Int
        in id -> id ;

}