Explicitly type the functional first-order representation