-m infer.hs --test
