fun a(n :: Number):
  n
end

a(true)