{- Checking indexes -}

let x : Bool = True
let x : Natural = 1

in x@1