diff --git a/Pandora/IO.hs b/Pandora/IO.hs
--- a/Pandora/IO.hs
+++ b/Pandora/IO.hs
@@ -5,28 +5,28 @@
 
 import "pandora" Pandora.Pattern.Morphism.Straight (Straight (Straight))
 import "pandora" Pandora.Pattern.Semigroupoid ((.))
-import "pandora" Pandora.Pattern.Category (($))
-import "pandora" Pandora.Pattern.Functor.Covariant (Covariant ((<$>)))
+import "pandora" Pandora.Pattern.Functor.Covariant (Covariant ((<-|-)))
 import "pandora" Pandora.Pattern.Functor.Semimonoidal (Semimonoidal (mult))
 import "pandora" Pandora.Pattern.Functor.Monoidal (Monoidal (unit))
 import "pandora" Pandora.Pattern.Functor.Bindable (Bindable ((=<<)))
 import "pandora" Pandora.Pattern.Functor.Monad (Monad)
 import "pandora" Pandora.Paradigm.Primary.Algebraic.Exponential (type (-->))
-import "pandora" Pandora.Paradigm.Primary.Algebraic.Product ((:*:)((:*:)))
+import "pandora" Pandora.Paradigm.Primary.Algebraic.Product ((:*:) ((:*:)))
 import "pandora" Pandora.Paradigm.Primary.Algebraic.One (One (One))
 import "pandora" Pandora.Paradigm.Primary.Algebraic ()
+import "pandora" Pandora.Paradigm.Controlflow.Effect.Interpreted (run, (!))
 
 import "ghc-prim" GHC.Prim (State#, RealWorld)
 import "ghc-prim" GHC.Types (IO (IO))
 
 instance Covariant (->) (->) IO where
-	f <$> x = bindIO x (returnIO . f)
+	f <-|- x = bindIO x (returnIO . f)
 
 instance Semimonoidal (-->) (:*:) (:*:) IO where
-	mult = Straight $ \(x :*: y) -> bindIO x $ \x' -> bindIO y $ \y' -> returnIO (x' :*: y')
+	mult = Straight ! \(x :*: y) -> bindIO x (\x' -> bindIO y (\y' -> returnIO (x' :*: y')))
 
-instance Monoidal (-->) (->) (:*:) (:*:) IO where
-	unit _ = Straight $ returnIO . ($ One)
+instance Monoidal (-->) (-->) (:*:) (:*:) IO where
+	unit _ = Straight ! returnIO . (! One) . run
 
 instance Bindable (->) IO where
 	f =<< x = bindIO x f
diff --git a/Pandora/IO/ASCII.hs b/Pandora/IO/ASCII.hs
--- a/Pandora/IO/ASCII.hs
+++ b/Pandora/IO/ASCII.hs
@@ -55,9 +55,9 @@
 	DEL == DEL = True
 	_ == _ = False
 
-data Sign = Exclamation | Quote Quote | Hash | Dollar | Percent | Ampersand | Apostrophe
+data Sign = Exclamation | Question | Quote Quote | Hash | Dollar | Percent | Ampersand | Apostrophe
 	| Asterisk | Plus | Comma | Minus | Period | Slash Slash | Bracket Position Bracket
-	| Colon | Semicolon | At | Caret | Underscore | Accent | Bar | Tilde
+	| Colon | Semicolon | At | Caret | Underscore | Accent | Bar | Tilde | Equality
 
 instance Setoid Sign where
 	Exclamation == Exclamation = True
diff --git a/pandora-io.cabal b/pandora-io.cabal
--- a/pandora-io.cabal
+++ b/pandora-io.cabal
@@ -1,5 +1,5 @@
 name:                pandora-io
-version:             0.4.7
+version:             0.4.9
 synopsis:            ...
 description:         ...
 homepage:            https://github.com/iokasimov/pandora-io
@@ -18,7 +18,7 @@
   location: https://github.com/iokasimov/pandora-io.git
 
 library
-  build-depends: ghc-prim == 0.6.1, pandora >= 0.4.7
+  build-depends: ghc-prim == 0.6.1, pandora >= 0.4.9
   exposed-modules: Pandora.IO, Pandora.IO.ASCII, Pandora.IO.Bytes
   default-language: Haskell2010
   default-extensions: