TransitiveDctorExport.purs

-- @shouldFailWith TransitiveExportError
module Main (Y(..)) where

type X = Int
data Y = Y X