Error found: in module M1 at tests/purs/failing/ExportExplicit2.purs:3:12 - 3:16 (line 3, column 12 - line 3, column 16) Cannot export data constructor Y for type X, as it has not been declared. See https://github.com/purescript/documentation/blob/master/errors/UnknownExportDataConstructor.md for more information, or to contribute content related to this error.