Create monadier.hs