import Data.List.NonEmpty main = return ()