Error found: in module Main at tests/purs/failing/TransitiveDctorExport.purs:2:1 - 5:13 (line 2, column 1 - line 5, column 13) An export for Y requires the following to also be exported: X See https://github.com/purescript/documentation/blob/master/errors/TransitiveExportError.md for more information, or to contribute content related to this error.