Module type Printable.FailwithMessage