(Program
  (Return
  { (Empty)
  ->(Float) }))