为什么在`accursedUnutterablePerformIO`中没有`seq`？

Question

为什么accursedUnutterablePerformIO（又名inlinePerformIO）已实施

accursedUnutterablePerformIO :: IO a -> a
accursedUnutterablePerformIO (IO a) = case a realWorld# of (# _, r #) -> r

而不是

accursedUnutterablePerformIO :: IO a -> a
accursedUnutterablePerformIO (IO a) = case a realWorld# of (# s, r #) -> s `seq` r

Answer 1

简单地说，realWorld# doesn't exist runtime，因此我们无法对其进行任何计算，因此seq也无法做任何事情。