η-reduce FTW!