Create monomorph_example.hs