diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,22 @@
+Copyright (c) 2019 Nikita Volkov
+
+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/OptimaForHasql/Param.hs b/library/OptimaForHasql/Param.hs
new file mode 100644
--- /dev/null
+++ b/library/OptimaForHasql/Param.hs
@@ -0,0 +1,82 @@
+module OptimaForHasql.Param
+where
+
+import OptimaForHasql.Prelude
+import Optima
+import qualified Data.Text.Encoding as Text
+
+
+{-|
+Amount of connections in the pool.
+-}
+poolSize :: Param Int
+poolSize =
+  value "Amount of connections in the pool"
+    (showable 1) unformatted implicitlyParsed
+
+{-|
+Amount of seconds for which the unused connections are kept open.
+-}
+poolTimeout :: Param NominalDiffTime
+poolTimeout =
+  value "Amount of seconds for which the unused connections are kept open"
+    (showable 10) unformatted implicitlyParsed
+
+{-|
+Server host.
+-}
+host :: Param ByteString
+host =
+  fmap Text.encodeUtf8 $
+  value
+    "Server host"
+    (explicitlyRepresented id "127.0.0.1")
+    unformatted
+    implicitlyParsed
+
+{-|
+Server port.
+-}
+port :: Param Word16
+port =
+  value
+    "Server port"
+    (showable 5432)
+    unformatted
+    implicitlyParsed
+
+{-|
+Username.
+-}
+user :: Param ByteString
+user =
+  fmap Text.encodeUtf8 $
+  value
+    "Username"
+    (explicitlyRepresented id "postgres")
+    unformatted
+    implicitlyParsed
+
+{-|
+Password.
+-}
+password :: Param ByteString
+password =
+  fmap Text.encodeUtf8 $
+  value
+    "Password"
+    (explicitlyRepresented id "")
+    unformatted
+    implicitlyParsed
+
+{-|
+Database name.
+-}
+database :: Param ByteString
+database =
+  fmap Text.encodeUtf8 $
+  value
+    "Database name"
+    (explicitlyRepresented id "postgres")
+    unformatted
+    implicitlyParsed
diff --git a/library/OptimaForHasql/ParamGroup.hs b/library/OptimaForHasql/ParamGroup.hs
new file mode 100644
--- /dev/null
+++ b/library/OptimaForHasql/ParamGroup.hs
@@ -0,0 +1,31 @@
+module OptimaForHasql.ParamGroup
+where
+
+import OptimaForHasql.Prelude
+import Optima
+import qualified Hasql.Pool as Pool
+import qualified Hasql.Connection as Connection
+import qualified OptimaForHasql.Param as Param
+
+
+{-|
+Parser of pool settings as a parameter group.
+-}
+poolSettings :: ParamGroup Pool.Settings
+poolSettings =
+  (,,) <$>
+    member "pool-size" Param.poolSize <*>
+    member "pool-timeout" Param.poolTimeout <*>
+    connectionSettings
+
+{-|
+Parser of connection settings as a parameter group.
+-}
+connectionSettings :: ParamGroup Connection.Settings
+connectionSettings =
+  Connection.settings <$> 
+    member "host" Param.host <*>
+    member "port" Param.port <*>
+    member "user" Param.user <*>
+    member "password" Param.password <*>
+    member "database" Param.database
diff --git a/library/OptimaForHasql/Params.hs b/library/OptimaForHasql/Params.hs
new file mode 100644
--- /dev/null
+++ b/library/OptimaForHasql/Params.hs
@@ -0,0 +1,31 @@
+module OptimaForHasql.Params
+where
+
+import OptimaForHasql.Prelude
+import Optima
+import qualified Hasql.Pool as Pool
+import qualified Hasql.Connection as Connection
+import qualified OptimaForHasql.Param as Param
+
+
+{-|
+Parser of pool settings as top-level parameters.
+-}
+poolSettings :: Params Pool.Settings
+poolSettings =
+  (,,) <$>
+    param Nothing "pool-size" Param.poolSize <*>
+    param Nothing "pool-timeout" Param.poolTimeout <*>
+    connectionSettings
+
+{-|
+Parser of connection settings as top-level parameters.
+-}
+connectionSettings :: Params Connection.Settings
+connectionSettings =
+  Connection.settings <$> 
+    param Nothing "host" Param.host <*>
+    param Nothing "port" Param.port <*>
+    param Nothing "user" Param.user <*>
+    param Nothing "password" Param.password <*>
+    param Nothing "database" Param.database
diff --git a/library/OptimaForHasql/Prelude.hs b/library/OptimaForHasql/Prelude.hs
new file mode 100644
--- /dev/null
+++ b/library/OptimaForHasql/Prelude.hs
@@ -0,0 +1,87 @@
+module OptimaForHasql.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 (fail, mapM_, sequence_, forM_, msum, mapM, sequence, forM)
+import Control.Monad.IO.Class as Exports
+import Control.Monad.Fail 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.Functor.Compose as Exports
+import Data.Functor.Contravariant 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.List.NonEmpty as Exports (NonEmpty(..))
+import Data.Maybe as Exports
+import Data.Monoid as Exports hiding (Alt)
+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.Void 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 (orElse, 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 (fail, 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 (Handle, hClose)
+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
+
+-- text
+-------------------------
+import Data.Text as Exports (Text)
+
+-- bytestring
+-------------------------
+import Data.ByteString as Exports (ByteString)
+
+-- time
+-------------------------
+import Data.Time as Exports
diff --git a/optima-for-hasql.cabal b/optima-for-hasql.cabal
new file mode 100644
--- /dev/null
+++ b/optima-for-hasql.cabal
@@ -0,0 +1,36 @@
+name: optima-for-hasql
+version: 0.1
+synopsis: Command-line arguments parsing for Hasql
+category: Command Line, Options, Hasql
+homepage: https://github.com/nikita-volkov/optima-for-hasql
+bug-reports: https://github.com/nikita-volkov/optima-for-hasql/issues
+author: Nikita Volkov <nikita.y.volkov@mail.ru>
+maintainer: Nikita Volkov <nikita.y.volkov@mail.ru>
+copyright: (c) 2019 Nikita Volkov
+license: MIT
+license-file: LICENSE
+build-type: Simple
+cabal-version: >=1.10
+
+source-repository head
+  type: git
+  location: git://github.com/nikita-volkov/optima-for-hasql.git
+
+library
+  hs-source-dirs: library
+  default-extensions: BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, InstanceSigs, 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:
+    OptimaForHasql.Param
+    OptimaForHasql.ParamGroup
+    OptimaForHasql.Params
+  other-modules:
+    OptimaForHasql.Prelude
+  build-depends:
+    base >=4.9 && <5,
+    bytestring >=0.10.10 && <0.11,
+    hasql >=1.4 && <1.5,
+    hasql-pool >=0.5.1 && <0.6,
+    optima >=0.4 && <0.5,
+    text >=1 && <2,
+    time >=1.8 && <2
