generated at
UnboxedTuples
(# e_1, ..., e_n #) みたいなやつ
IOの実装とか覗くと見かける
hs
newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))