-- @shouldFailWith TransitiveDctorExportError
module Data.List (List, (:)) where

  data List a = Cons a (List a) | Nil

  infixr 6 Cons as :