{-# LANGUAGE Safe #-}
module UnsafeInfered07 where

import safe UnsafeInfered07_A