We need to add these pragmas and add a comment to all internal modules to clearly indicate that they are indeed internal: ```haskell {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_HADDOCK not-home #-} ```