fix universe level issue with pfix in Agda