-- #hide
module Hidden where
hidden :: Int -> Int