module FromInteger where

main :: Fay ()
main = putStrLn $ show $ fromInteger 5