Nnewtypenewtype IO# (a :: TYPE r) wherePeek#ConstructorsIO# :: (State# RealWorld -> (# State# RealWorld, a #)) -> IO# aunIO# :: State# RealWorld -> (# State# RealWorld, a #)