-- @shouldFailWith TransitiveExportError
module Main (class C3) where

import Prelude

import Effect (Effect)
import Effect.Console (log)

class C1
instance inst1 :: C1

class C1 <= C2 a

class (C2 a) <= C3 a b

main :: Effect Unit
main = do
  log "Done"