abstract PolyTypes = {

fun f : (A : Type) -> A ;

}