main = print ψ
    where δΔ = 1
          ψ = δΔ + 1