purescript-0.8.1.0: examples/failing/DctorOperatorAliasExport.purs
-- @shouldFailWith TransitiveDctorExportError module Data.List (List, (:)) where data List a = Cons a (List a) | Nil infixr 6 Cons as :
-- @shouldFailWith TransitiveDctorExportError module Data.List (List, (:)) where data List a = Cons a (List a) | Nil infixr 6 Cons as :