RealWorld -package:ghc -package:ghc-lib-parser -package:ghc-prim package:open-witness

The s type for running OW in IO.