module Ints where

main :: Fay ()
main = do
  print (123 :: Int)