declare % Next: }: }: Float>> fun {Next N} fun {$ X} (X + N / X) / 2.0 end end