query type { f }