studyModule :: (MonadBaseControl IO m)
               => ModuleBuilder -> L b m ModuleBuilder
studyModule builder =
  withModule builder (liftBase . liftM MBVerifiedBitcode . LL.moduleBitcode)
studyModule :: (MonadBaseControl IO m)
               => ModuleBuilder -> L b m ModuleBuilder
studyModule builder =
  withModule builder (liftBase . liftM MBVerifiedBitcode . LL.moduleBitcode)
studyModule builder =
  withModule builder (liftBase . liftM MBVerifiedBitcode . LL.moduleBitcode)