{-# LANGUAGE Safe #-}
module Main (main) where

import Data.Functor.WithIndex ()
import Data.Functor.WithIndex.Instances ()
import Data.Foldable.WithIndex ()
import Data.Traversable.WithIndex ()

main :: IO ()
main = return ()