module Transitive1
  ( module Transitive2 )
  where

import Transitive2