Use the proposed mirage-types module type FS