abstract RecTypes = {

fun f : {s:Int} -> Int ;

}