-m Model.hs --test
