main :: Int -> () main 1 = () main 2 = () main 1 = () main _ = () main 3 = ()