1 2 3 4 5 6
module Main where import AddOne import Control.Exception (assert) main = assert (addOne 41 == 42) $ return ()