:dragon: Eta-expansion!