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

abstract PolyTypes = {

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

}