add a functional type test