module T2507 where

foo :: Int
foo = ()