module Transitive3 where

transitive3 :: Int
transitive3 = 0