diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,22 @@
+Copyright (c) 2018, Metrix.AI
+
+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/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/library/Timestamp.hs b/library/Timestamp.hs
new file mode 100644
--- /dev/null
+++ b/library/Timestamp.hs
@@ -0,0 +1,8 @@
+module Timestamp
+    (
+    module A,
+    module B
+    ) where
+
+import Timestamp.Data.Conversion as A
+import Timestamp.Data.TypesAndInstances as B
diff --git a/library/Timestamp/Data/Conversion.hs b/library/Timestamp/Data/Conversion.hs
new file mode 100644
--- /dev/null
+++ b/library/Timestamp/Data/Conversion.hs
@@ -0,0 +1,30 @@
+module Timestamp.Data.Conversion
+where
+
+import Timestamp.Prelude
+import Timestamp.Data.TypesAndInstances
+
+
+timestampMicroSecondsInt64 :: Timestamp -> Int64
+timestampMicroSecondsInt64 (Timestamp prim) = prim
+
+timestampNominalDiffTime :: Timestamp -> NominalDiffTime
+timestampNominalDiffTime =
+  unsafeCoerce . (* 1000000) . toInteger . timestampMicroSecondsInt64
+
+timestampPosixTime :: Timestamp -> POSIXTime
+timestampPosixTime = timestampNominalDiffTime
+
+timestampUtcTime :: Timestamp -> UTCTime
+timestampUtcTime = posixSecondsToUTCTime . timestampPosixTime
+
+timestampDay :: Timestamp -> Day
+timestampDay = utctDay . timestampUtcTime
+
+utcTimeTimestamp :: UTCTime -> Timestamp
+utcTimeTimestamp =
+  posixTimeTimestamp . utcTimeToPOSIXSeconds
+
+posixTimeTimestamp :: POSIXTime -> Timestamp
+posixTimeTimestamp =
+  Timestamp . fromIntegral . flip div 1000000 . (unsafeCoerce :: NominalDiffTime -> Integer)
diff --git a/library/Timestamp/Data/TypesAndInstances.hs b/library/Timestamp/Data/TypesAndInstances.hs
new file mode 100644
--- /dev/null
+++ b/library/Timestamp/Data/TypesAndInstances.hs
@@ -0,0 +1,37 @@
+module Timestamp.Data.TypesAndInstances
+where
+
+import Timestamp.Prelude
+import qualified Generic.Random as A
+
+
+{-|
+A value paired with a timestamp.
+-}
+data Timestamped event = Timestamped {-# UNPACK #-} !Timestamp !event
+
+{-|
+Amount of microseconds since @1970-01-01 00:00.000000 UTC@.
+The semantics are the same as of 'Data.Time.Clock.POSIX.POSIXTime'.
+This datatype is used instead of 'UTCTime' or 'Data.Time.Clock.POSIX.POSIXTime'
+for space-efficiency.
+-}
+newtype Timestamp = Timestamp Int64
+
+
+deriving instance Eq a => Eq (Timestamped a)
+deriving instance Ord a => Ord (Timestamped a)
+deriving instance Show a => Show (Timestamped a)
+deriving instance Functor Timestamped
+deriving instance Generic (Timestamped a)
+instance Arbitrary a => Arbitrary (Timestamped a) where arbitrary = A.genericArbitraryU
+instance Hashable a => Hashable (Timestamped a)
+instance Serialize a => Serialize (Timestamped a)
+
+deriving instance Eq Timestamp
+deriving instance Ord Timestamp
+deriving instance Show Timestamp
+deriving instance Generic Timestamp
+instance Arbitrary Timestamp where arbitrary = A.genericArbitraryU
+instance Hashable Timestamp
+instance Serialize Timestamp
diff --git a/library/Timestamp/Prelude.hs b/library/Timestamp/Prelude.hs
new file mode 100644
--- /dev/null
+++ b/library/Timestamp/Prelude.hs
@@ -0,0 +1,88 @@
+module Timestamp.Prelude
+(
+  module Exports
+)
+where
+
+-- base
+-------------------------
+import Control.Applicative as Exports
+import Control.Arrow as Exports hiding (first, second)
+import Control.Category as Exports
+import Control.Concurrent as Exports
+import Control.Exception as Exports
+import Control.Monad as Exports hiding (mapM_, sequence_, forM_, msum, mapM, sequence, forM)
+import Control.Monad.IO.Class as Exports
+import Control.Monad.Fix as Exports hiding (fix)
+import Control.Monad.ST as Exports
+import Data.Bifunctor as Exports
+import Data.Bits as Exports
+import Data.Bool as Exports
+import Data.Char as Exports
+import Data.Coerce as Exports
+import Data.Complex as Exports
+import Data.Data as Exports
+import Data.Dynamic as Exports
+import Data.Either as Exports
+import Data.Fixed as Exports
+import Data.Foldable as Exports
+import Data.Function as Exports hiding (id, (.))
+import Data.Functor as Exports
+import Data.Int as Exports
+import Data.IORef as Exports
+import Data.Ix as Exports
+import Data.List as Exports hiding (sortOn, isSubsequenceOf, uncons, concat, foldr, foldl1, maximum, minimum, product, sum, all, and, any, concatMap, elem, foldl, foldr1, notElem, or, find, maximumBy, minimumBy, mapAccumL, mapAccumR, foldl')
+import Data.Maybe as Exports
+import Data.Monoid as Exports
+import Data.Ord as Exports
+import Data.Proxy as Exports
+import Data.Ratio as Exports
+import Data.STRef as Exports
+import Data.String as Exports
+import Data.Traversable as Exports
+import Data.Tuple as Exports
+import Data.Unique as Exports
+import Data.Version as Exports
+import Data.Word as Exports
+import Debug.Trace as Exports
+import Foreign.ForeignPtr as Exports
+import Foreign.Ptr as Exports
+import Foreign.StablePtr as Exports
+import Foreign.Storable as Exports
+import GHC.Conc as Exports hiding (withMVar, threadWaitWriteSTM, threadWaitWrite, threadWaitReadSTM, threadWaitRead)
+import GHC.Exts as Exports (lazy, inline, sortWith, groupWith)
+import GHC.Generics as Exports (Generic)
+import GHC.IO.Exception as Exports
+import Numeric as Exports
+import Prelude as Exports hiding (concat, foldr, mapM_, sequence_, foldl1, maximum, minimum, product, sum, all, and, any, concatMap, elem, foldl, foldr1, notElem, or, mapM, sequence, id, (.))
+import System.Environment as Exports
+import System.Exit as Exports
+import System.IO as Exports
+import System.IO.Error as Exports
+import System.IO.Unsafe as Exports
+import System.Mem as Exports
+import System.Mem.StableName as Exports
+import System.Timeout as Exports
+import Text.ParserCombinators.ReadP as Exports (ReadP, ReadS, readP_to_S, readS_to_P)
+import Text.ParserCombinators.ReadPrec as Exports (ReadPrec, readPrec_to_P, readP_to_Prec, readPrec_to_S, readS_to_Prec)
+import Text.Printf as Exports (printf, hPrintf)
+import Text.Read as Exports (Read(..), readMaybe, readEither)
+import Unsafe.Coerce as Exports
+
+-- cereal
+-------------------------
+import Data.Serialize as Exports (Serialize)
+
+-- time
+-------------------------
+import Data.Time as Exports
+import Data.Time.Clock as Exports
+import Data.Time.Clock.POSIX as Exports
+
+-- hashable
+-------------------------
+import Data.Hashable as Exports
+
+-- QuickCheck
+-------------------------
+import Test.QuickCheck as Exports (Arbitrary(..))
diff --git a/timestamp.cabal b/timestamp.cabal
new file mode 100644
--- /dev/null
+++ b/timestamp.cabal
@@ -0,0 +1,53 @@
+name:
+  timestamp
+version:
+  0.1
+synopsis:
+  Space-efficient Unix timestamp and utilities
+category:
+  Time
+homepage:
+  https://github.com/metrix-ai/timestamp
+bug-reports:
+  https://github.com/metrix-ai/timestamp/issues
+author:
+  Oleg Shevchenko <shevchenko.cmc@gmail.com>
+maintainer:
+  Metrix.AI Ninjas <ninjas@metrix.ai>
+copyright:
+  (c) 2018, Metrix.AI
+license:
+  MIT
+license-file:
+  LICENSE
+build-type:
+  Simple
+cabal-version:
+  >= 1.24
+
+source-repository head
+  type:
+    git
+  location:
+    https://github.com/metrix-ai/timestamp.git
+
+library
+  hs-source-dirs:
+    library
+  default-extensions:
+    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
+  default-language:
+    Haskell2010
+  exposed-modules:
+    Timestamp
+  other-modules:
+    Timestamp.Data.Conversion
+    Timestamp.Data.TypesAndInstances
+    Timestamp.Prelude
+  build-depends:
+    cereal >=0.5.4 && <0.6,
+    hashable >=1.2 && <2,
+    QuickCheck >=2.8.1 && <3,
+    time >=1.8 && <2,
+    base >=4.7 && <5,
+    generic-random >=1 && <2