What does [safe] marker mean in ghci?
问题 Prelude Data.Void> :info Void data Void -- Defined in `Data.Void' instance [safe] Eq Void -- Defined in `Data.Void' instance [safe] Ord Void -- Defined in `Data.Void' instance [safe] Read Void -- Defined in `Data.Void' instance [safe] Show Void -- Defined in `Data.Void' What does [safe] mean? 回答1: It simply means that the datatype is defined in a module which is defined using safe extension. You can find the details of the extension in the user guide. In fact, you can test that yourself by