-- @shouldFailWith UnknownName
module Main where

import Prim (Boolean)

z :: Number
z = 0.0