testType f x = f x
