Qf: {} = {}

Type declaration