small cleanup
CHurch-style typing in F.v