This is a primitive introduced in ya-world package. Technically it’s just an alias for IO in vanilla Haskell.