module T9509 (main) where

import T9509a

main = foo (5 :: Int) >>= print