module Main where
import           Startlude                      ( IO
                                                , pure
                                                )

main :: IO ()
main = pure ()