module Main ( main ) where import qualified DocTest main :: IO () main = DocTest.test