module ImpMet where import Prelude(pure, IO, (), putStrLn) main :: IO () main = putStrLn "ok"