let
  val tot := (+)|0.0 $1:
  val n := (+)|0.0 [:1.0"$0
in tot%n end