import A > import B {-# LANGUAGE FlexibleContexts, OverloadedStrings, RecordWildCards, RankNTypes #-} blah x | x = do putStrLn a unless x $ unless y $ putStrLn "Hello" a = let (x, y) = z in z a = (x ++)