Compile with mirage-types-0.5.0