Error found: in module Data.List at tests/purs/failing/DctorOperatorAliasExport.purs:2:1 - 6:21 (line 2, column 1 - line 6, column 21) An export for (:) requires the following data constructor to also be exported: Cons See https://github.com/purescript/documentation/blob/master/errors/TransitiveDctorExportError.md for more information, or to contribute content related to this error.