Data.OI.Internal
data OI a
type a :-> b
(??)
(##)
(=:)
OI
dePair
deList
deTriple
deTuple4
deTuple5
deTuple6
deTuple7
deLeft
deRight
runInteraction
data IOResult a
iooi
iooi'