gf-3.10: testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf

abstract LetInTypesAbs = {

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

}