1module Main where 2 3import A 4import Effect.Console (log) 5 6thing :: Int 7thing = 1 8 9-- Not an error as although we have `thing` in scope from both Main and A, 10-- as the local declaration takes precedence over the implicit import 11what :: Boolean -> Int 12what true = thing 13what false = zing 14 15main = log "Done" 16