Church-style typing in F.v