-- @shouldWarnWith MissingTypeDeclaration
module Main where

x = 0