diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2019 Murat Kasimov
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
diff --git a/Pandora/IO.hs b/Pandora/IO.hs
new file mode 100644
--- /dev/null
+++ b/Pandora/IO.hs
@@ -0,0 +1,46 @@
+module Pandora.IO (IO, module Exports) where
+
+import Pandora.IO.ASCII as Exports
+import Pandora.IO.Bytes as Exports
+
+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.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.One (One (One))
+import "pandora" Pandora.Paradigm.Primary.Algebraic ()
+
+import "ghc-prim" GHC.Prim (State#, RealWorld)
+import "ghc-prim" GHC.Types (IO (IO))
+
+instance Covariant (->) (->) IO where
+	f <$> x = bindIO x (returnIO . f)
+
+instance Semimonoidal (-->) (:*:) (:*:) IO where
+	mult = Straight $ \(x :*: y) -> bindIO x $ \x' -> bindIO y $ \y' -> returnIO (x' :*: y')
+
+instance Monoidal (-->) (->) (:*:) (:*:) IO where
+	unit _ = Straight $ returnIO . ($ One)
+
+instance Bindable (->) IO where
+	f =<< x = bindIO x f
+
+instance Monad (->) IO where
+
+returnIO :: a -> IO a
+returnIO x = IO (\ s -> (# s, x #))
+
+bindIO :: IO a -> (a -> IO b) -> IO b
+bindIO (IO m) k = IO (\s -> case m s of (# new_s, a #) -> unIO (k a) new_s)
+
+thenIO :: IO a -> IO b -> IO b
+thenIO (IO m) k = IO (\s -> case m s of (# new_s, _ #) -> unIO k new_s)
+
+unIO :: IO a -> (State# RealWorld -> (# State# RealWorld, a #))
+unIO (IO a) = a
diff --git a/Pandora/IO/ASCII.hs b/Pandora/IO/ASCII.hs
new file mode 100644
--- /dev/null
+++ b/Pandora/IO/ASCII.hs
@@ -0,0 +1,169 @@
+module Pandora.IO.ASCII where
+
+import Pandora.Pattern.Object.Setoid (Setoid ((==)))
+import Pandora.Pattern.Object.Ringoid (Ringoid ((*)))
+import Pandora.Paradigm.Primary.Object.Boolean (Boolean (True, False))
+
+data ASCII = Control Control | Sign Sign | Letter Case Letter | Number Number
+
+instance Setoid ASCII where
+	Control c == Control c' = c == c'
+	Sign s == Sign s' = s == s'
+	Letter с l == Letter с' l' = (с == с') * (l == l')
+	Number n == Number n' = n == n'
+	_ == _ = False
+
+data Control = NUL | SOH | STX | ETX | EOT | ENQ
+	| ACK | BEL | BS | HT | LF | VT | FF | CR | SO | SI
+	| DLE | DC1 | DC2 | DC3 | DC4 | NAK | SYN | ETB | CAN
+	| EM | SUB | ESC | FS | GS | RS | US | SP | DEL
+
+instance Setoid Control where
+	NUL == NUL = True
+	SOH == SOH = True
+	STX == STX = True
+	ETX == ETX = True
+	EOT == EOT = True
+	ENQ == ENQ = True
+	ACK == ACK = True
+	BEL == BEL = True
+	BS == BS = True
+	HT == HT = True
+	LF == LF = True
+	VT == VT = True
+	FF == FF = True
+	CR == CR = True
+	SO == SO = True
+	SI == SI = True
+	DLE == DLE = True
+	DC1 == DC1 = True
+	DC2 == DC2 = True
+	DC3 == DC3 = True
+	DC4 == DC4 = True
+	NAK == NAK = True
+	SYN == SYN = True
+	ETB == ETB = True
+	CAN == CAN = True
+	EM == EM = True
+	SUB == SUB = True
+	ESC == ESC = True
+	FS == FS = True
+	GS == GS = True
+	RS == RS = True
+	US == US = True
+	SP == SP = True
+	DEL == DEL = True
+	_ == _ = False
+
+data Sign = Exclamation | 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
+
+instance Setoid Sign where
+	Exclamation == Exclamation = True
+	Quote q == Quote q' = q == q'
+	Hash == Hash = True
+	Dollar == Dollar = True
+	Percent == Percent = True
+	Ampersand == Ampersand = True
+	Apostrophe == Apostrophe = True
+	Asterisk == Asterisk = True
+	Plus == Plus = True
+	Comma == Comma = True
+	Minus == Minus = True
+	Period == Period = True
+	Slash s == Slash s' = s == s'
+	Bracket p b == Bracket p' b' = (p == p') * (b == b')
+	Colon == Colon = True
+	Semicolon == Semicolon = True
+	At == At = True
+	Caret == Caret = True
+	Underscore == Underscore = True
+	Accent == Accent = True
+	Bar == Bar = True
+	Tilde == Tilde = True
+	_ == _ = False
+
+data Bracket = Round | Square | Angle | Curly
+
+instance Setoid Bracket where
+	Round == Round = True
+	Square == Square = True
+	Angle == Angle = True
+	Curly == Curly = True
+	_ == _ = False
+
+data Position = Opened | Closed
+
+instance Setoid Position where
+	Opened == Opened = True
+	Closed == Closed = True
+	_ == _ = False
+
+data Slash = Forward | Back
+
+instance Setoid Slash where
+	Forward == Forward = True
+	Back == Back = True
+	_ == _ = False
+
+data Quote = Double | Single
+
+instance Setoid Quote where
+	Double == Double = True
+	Single == Single = True
+	_ == _ = False
+
+data Letter = A | B | C | D | E | F | G | H | I | J | K | L
+	| M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
+
+instance Setoid Letter where
+	A == A = True
+	B == B = True
+	C == C = True
+	D == D = True
+	E == E = True
+	F == F = True
+	G == G = True
+	H == H = True
+	I == I = True
+	J == J = True
+	K == K = True
+	L == L = True
+	M == M = True
+	N == N = True
+	O == O = True
+	P == P = True
+	Q == Q = True
+	R == R = True
+	S == S = True
+	T == T = True
+	U == U = True
+	V == V = True
+	W == W = True
+	X == X = True
+	Y == Y = True
+	Z == Z = True
+	_ == _ = False
+
+data Case = Upper | Lower
+
+instance Setoid Case where
+	Upper == Upper = True
+	Lower == Lower = True
+	_ == _ = False
+
+data Number = N0 | N1 | N2 | N3 | N4 | N5 | N6 | N7 | N8 | N9
+
+instance Setoid Number where
+	N0 == N0 = True
+	N1 == N1 = True
+	N2 == N2 = True
+	N3 == N3 = True
+	N4 == N4 = True
+	N5 == N5 = True
+	N6 == N6 = True
+	N7 == N7 = True
+	N8 == N8 = True
+	N9 == N9 = True
+	_ == _ = False
diff --git a/Pandora/IO/Bytes.hs b/Pandora/IO/Bytes.hs
new file mode 100644
--- /dev/null
+++ b/Pandora/IO/Bytes.hs
@@ -0,0 +1,9 @@
+module Pandora.IO.Bytes (Bytes (..)) where
+
+import "ghc-prim" GHC.Prim (ByteArray#, Int#)
+
+-- | A slice of a 'ByteArray'.
+data Bytes = Bytes
+	ByteArray# -- payload
+	Int# -- offset
+	Int# -- length
diff --git a/pandora-io.cabal b/pandora-io.cabal
new file mode 100644
--- /dev/null
+++ b/pandora-io.cabal
@@ -0,0 +1,27 @@
+name:                pandora-io
+version:             0.4.7
+synopsis:            ...
+description:         ...
+homepage:            https://github.com/iokasimov/pandora-io
+license:             MIT
+license-file:        LICENSE
+extra-source-files:  CHANGELOG.md
+author:              Murat Kasimov
+maintainer:          Murat Kasimov <iokasimov.m@gmail.com>
+copyright:           Copyright (c) 2019 Murat Kasimov
+category:            Data, Control
+build-type:          Simple
+cabal-version:       >= 1.10
+
+source-repository head
+  type: git
+  location: https://github.com/iokasimov/pandora-io.git
+
+library
+  build-depends: ghc-prim == 0.6.1, pandora >= 0.4.7
+  exposed-modules: Pandora.IO, Pandora.IO.ASCII, Pandora.IO.Bytes
+  default-language: Haskell2010
+  default-extensions:
+    ExplicitNamespaces, MagicHash, NoImplicitPrelude, FlexibleInstances,
+    PackageImports, TypeFamilies, TypeOperators, UnboxedTuples, MultiParamTypeClasses
+  ghc-options: -fno-warn-tabs