diff --git a/.gitignore b/.gitignore
index 1baf2f4..5e227ea 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,7 +6,6 @@ cabal-helper*build/
 log.txt
 *.csv
 .hspec-failures
-*.cabal
 .vscode
 stack.yaml.lock
 
@@ -37,7 +36,6 @@ cabal.project.local~
 dist-newstyle
 .stack-work
 stack.yaml.lock
-*.cabal
 
 .ghci
 .ghcid
diff --git a/app/MeteorCounter/MeteorCounter.cabal b/app/MeteorCounter/MeteorCounter.cabal
new file mode 100644
index 0000000..50649b2
--- /dev/null
+++ b/app/MeteorCounter/MeteorCounter.cabal
@@ -0,0 +1,205 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 28eee222954224a8d9f86601887d0c0700a7f1884df9c8976654370c976fc1b3
+
+name:           MeteorCounter
+version:        1.0.0.0
+description:    MeteorCounter app
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Church
+      Free
+      FTL
+      FTLTypes
+      Main
+      Types
+  other-modules:
+      Paths_MeteorCounter
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall -Wcompat -Widentities -fhide-source-paths
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-church-free
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
+
+executable MeteorCounter
+  main-is: Main.hs
+  other-modules:
+      Church
+      Free
+      FTL
+      FTLTypes
+      Types
+      Paths_MeteorCounter
+  hs-source-dirs:
+      src/
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-church-free
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
diff --git a/app/PerfTestApp/PerfTestApp.cabal b/app/PerfTestApp/PerfTestApp.cabal
new file mode 100644
index 0000000..52a6cfa
--- /dev/null
+++ b/app/PerfTestApp/PerfTestApp.cabal
@@ -0,0 +1,203 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 3d6279aa72a380ca3b4bebfd9d06e19a48745f51b0cbbd1b7a7a13ab61ac1e9e
+
+name:           PerfTestApp
+version:        1.0.0.0
+description:    PerfTestApp
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Main
+      PerfChurch
+      PerfFree
+      PerfFTL
+      PerfTypes
+  other-modules:
+      Paths_PerfTestApp
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall -Wcompat -Widentities -fhide-source-paths
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-church-free
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
+
+executable PerfTestApp
+  main-is: Main.hs
+  other-modules:
+      PerfChurch
+      PerfFree
+      PerfFTL
+      PerfTypes
+      Paths_PerfTestApp
+  hs-source-dirs:
+      src/
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-church-free
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
diff --git a/app/PerfTestApp2/PerfTestApp2.cabal b/app/PerfTestApp2/PerfTestApp2.cabal
new file mode 100644
index 0000000..df5183f
--- /dev/null
+++ b/app/PerfTestApp2/PerfTestApp2.cabal
@@ -0,0 +1,203 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: c822eb7c7a47c991d0296be18c2d5e4cf07faf6a2e5b855ca766560a34221330
+
+name:           PerfTestApp2
+version:        1.0.0.0
+description:    PerfTestApp2
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Church
+      Free
+      FTL
+      IO
+      Main
+  other-modules:
+      Paths_PerfTestApp2
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall -Wcompat -Widentities -fhide-source-paths
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-church-free
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
+
+executable PerfTestApp2
+  main-is: Main.hs
+  other-modules:
+      Church
+      Free
+      FTL
+      IO
+      Paths_PerfTestApp2
+  hs-source-dirs:
+      src/
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-church-free
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
diff --git a/app/astro/astro.cabal b/app/astro/astro.cabal
new file mode 100644
index 0000000..c6df52f
--- /dev/null
+++ b/app/astro/astro.cabal
@@ -0,0 +1,251 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 4fe1b039f6e418c480e9dadc3b1e549f11ebf2224cb9c5294d0b664e4f3db18e
+
+name:           astro
+version:        1.0.0.0
+description:    Astro web server and client for astronomers
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Astro.API
+      Astro.API.Asteroid
+      Astro.API.AstroObject
+      Astro.API.Meteor
+      Astro.Catalogue
+      Astro.Client.Common
+      Astro.Client.FinalTagless
+      Astro.Client.FinalTagless2
+      Astro.Client.FreeMonad
+      Astro.Client.GADT
+      Astro.Client.ReaderT
+      Astro.Client.ServiceHandle
+      Astro.Config
+      Astro.ConsoleOptions
+      Astro.Domain.Asteroid
+      Astro.Domain.AstroObject
+      Astro.Domain.Meteor
+      Astro.Domain.Types
+      Astro.KVDB.AstroDB
+      Astro.Lens
+      Astro.Server
+      Astro.SqlDB.AstroDB
+      Astro.Types
+      Main
+  other-modules:
+      Paths_astro
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall -Wcompat -Widentities -fhide-source-paths
+  build-depends:
+      HUnit
+    , MonadRandom
+    , QuickCheck
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , hspec
+    , hspec-contrib
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , network-uri
+    , newtype-generics
+    , optparse-applicative
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
+
+executable astro
+  main-is: Main.hs
+  other-modules:
+      Astro.API
+      Astro.API.Asteroid
+      Astro.API.AstroObject
+      Astro.API.Meteor
+      Astro.Catalogue
+      Astro.Client.Common
+      Astro.Client.FinalTagless
+      Astro.Client.FinalTagless2
+      Astro.Client.FreeMonad
+      Astro.Client.GADT
+      Astro.Client.ReaderT
+      Astro.Client.ServiceHandle
+      Astro.Config
+      Astro.ConsoleOptions
+      Astro.Domain.Asteroid
+      Astro.Domain.AstroObject
+      Astro.Domain.Meteor
+      Astro.Domain.Types
+      Astro.KVDB.AstroDB
+      Astro.Lens
+      Astro.Server
+      Astro.SqlDB.AstroDB
+      Astro.Types
+      Paths_astro
+  hs-source-dirs:
+      src/
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
+  build-depends:
+      HUnit
+    , MonadRandom
+    , QuickCheck
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , hspec
+    , hspec-contrib
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , network-uri
+    , newtype-generics
+    , optparse-applicative
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
diff --git a/app/labyrinth/labyrinth.cabal b/app/labyrinth/labyrinth.cabal
new file mode 100644
index 0000000..5df0e4d
--- /dev/null
+++ b/app/labyrinth/labyrinth.cabal
@@ -0,0 +1,311 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: f607560888323859c75863174809c88d92f57b47dc5396714d520812e1c7817c
+
+name:           labyrinth
+version:        1.0.0.0
+description:    Labyrinth game (aka Terra Incognita)
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Labyrinth
+      Labyrinth.Algorithms
+      Labyrinth.App
+      Labyrinth.Domain
+      Labyrinth.Gen
+      Labyrinth.KVDB.Model
+      Labyrinth.KVDB.Repository
+      Labyrinth.Labyrinths
+      Labyrinth.Lens
+      Labyrinth.Prelude
+      Labyrinth.Render
+      Labyrinth.Types
+      Main
+  other-modules:
+      Paths_labyrinth
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall -Wcompat -Widentities -fhide-source-paths
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
+
+executable labyrinth
+  main-is: Main.hs
+  other-modules:
+      Labyrinth
+      Labyrinth.Algorithms
+      Labyrinth.App
+      Labyrinth.Domain
+      Labyrinth.Gen
+      Labyrinth.KVDB.Model
+      Labyrinth.KVDB.Repository
+      Labyrinth.Labyrinths
+      Labyrinth.Lens
+      Labyrinth.Prelude
+      Labyrinth.Render
+      Labyrinth.Types
+      Paths_labyrinth
+  hs-source-dirs:
+      src/
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
+
+test-suite functional-tests
+  type: exitcode-stdio-1.0
+  main-is: Spec.hs
+  other-modules:
+      Labyrinth.Tests.Common
+      Labyrinth.Tests.KVDBSpec
+      Labyrinth.Tests.LogicSpec
+      Paths_labyrinth
+  hs-source-dirs:
+      test/
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N
+  build-depends:
+      HUnit
+    , MonadRandom
+    , QuickCheck
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , hspec
+    , hspec-contrib
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-free
+    , iproute
+    , labyrinth
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
diff --git a/lib/hydra-base/hydra-base.cabal b/lib/hydra-base/hydra-base.cabal
new file mode 100644
index 0000000..cc2fd95
--- /dev/null
+++ b/lib/hydra-base/hydra-base.cabal
@@ -0,0 +1,135 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 9329fa0d97a5093eed7a97bf52a51f12aeefb147a42e0bcd1191685d0856d061
+
+name:           hydra-base
+version:        1.1.0.0
+description:    Base package for Hydra framework.
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Hydra.Class
+      Hydra.Core.Class
+      Hydra.Core.ControlFlow.Class
+      Hydra.Core.Domain
+      Hydra.Core.Domain.Cli
+      Hydra.Core.Domain.DB
+      Hydra.Core.Domain.KVDB
+      Hydra.Core.Domain.Logger
+      Hydra.Core.Domain.Process
+      Hydra.Core.Domain.SQLDB
+      Hydra.Core.Domain.State
+      Hydra.Core.KVDB.Impl.Redis
+      Hydra.Core.KVDB.Impl.RocksDB
+      Hydra.Core.KVDBRuntime
+      Hydra.Core.Lang.Class
+      Hydra.Core.Logger.Class
+      Hydra.Core.Logger.Impl.HsLogger
+      Hydra.Core.Process.Class
+      Hydra.Core.Process.Impl
+      Hydra.Core.Random.Class
+      Hydra.Core.RLens
+      Hydra.Core.Runtime
+      Hydra.Core.SqlDBRuntime
+      Hydra.Core.State.Class
+      Hydra.Core.State.STM
+      Hydra.Domain
+      Hydra.Framework.RLens
+      Hydra.Framework.Runtime
+      Hydra.Prelude
+      Hydra.Runtime
+  other-modules:
+      Paths_hydra_base
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
diff --git a/lib/hydra-church-free/hydra-church-free.cabal b/lib/hydra-church-free/hydra-church-free.cabal
new file mode 100644
index 0000000..cc3e9ae
--- /dev/null
+++ b/lib/hydra-church-free/hydra-church-free.cabal
@@ -0,0 +1,129 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 126b98dca77f3ee49ac8b8810350e872113b6117853d6cbb95a68aabe7048dc2
+
+name:           hydra-church-free
+version:        1.1.0.0
+description:    All-in-one framework for writing web backends and cli applications. Church-encoded Free monad engine.
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Hydra.Core.ControlFlow.Interpreter
+      Hydra.Core.ControlFlow.Language
+      Hydra.Core.Interpreters
+      Hydra.Core.Lang.Interpreter
+      Hydra.Core.Lang.Language
+      Hydra.Core.Language
+      Hydra.Core.Logger.Impl.HsLoggerInterpreter
+      Hydra.Core.Logger.Impl.StmLoggerInterpreter
+      Hydra.Core.Logger.Language
+      Hydra.Core.Process.Interpreter
+      Hydra.Core.Process.Language
+      Hydra.Core.Random.Interpreter
+      Hydra.Core.Random.Language
+      Hydra.Core.State.Interpreter
+      Hydra.Core.State.Language
+      Hydra.Framework.App.Interpreter
+      Hydra.Framework.App.Language
+      Hydra.Framework.Interpreters
+      Hydra.Framework.Language
+      Hydra.Interpreters
+      Hydra.Language
+      Hydra.Language.Extra
+      Hydra.Runtime
+  other-modules:
+      Paths_hydra_church_free
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall
+  build-depends:
+      MonadRandom
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
diff --git a/lib/hydra-free/hydra-free.cabal b/lib/hydra-free/hydra-free.cabal
new file mode 100644
index 0000000..4b26450
--- /dev/null
+++ b/lib/hydra-free/hydra-free.cabal
@@ -0,0 +1,262 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: df52f80088680a5faf7a59abef2318df8a2c4a1a1dc8f86b5dc029bb50e3af26
+
+name:           hydra-free
+version:        1.1.0.0
+description:    All-in-one framework for writing web backends and cli applications. Free monad engine.
+homepage:       https://github.com/graninas/Hydra#readme
+bug-reports:    https://github.com/graninas/Hydra/issues
+author:         Alexander Granin
+maintainer:     graninas@gmail.com
+copyright:      Granin A.S. 2020
+license:        BSD3
+build-type:     Simple
+
+source-repository head
+  type: git
+  location: https://github.com/graninas/Hydra
+
+library
+  exposed-modules:
+      Hydra.Core.CliHandlers.Interpreter
+      Hydra.Core.CliHandlers.Language
+      Hydra.Core.ControlFlow.FTL
+      Hydra.Core.ControlFlow.Interpreter
+      Hydra.Core.ControlFlow.Language
+      Hydra.Core.FTL
+      Hydra.Core.FTLI
+      Hydra.Core.Interpreters
+      Hydra.Core.KVDB.Interpreter
+      Hydra.Core.KVDB.Language
+      Hydra.Core.Lang.FTL
+      Hydra.Core.Lang.FTLI
+      Hydra.Core.Lang.Interpreter
+      Hydra.Core.Lang.Language
+      Hydra.Core.Language
+      Hydra.Core.Logger.FTL
+      Hydra.Core.Logger.FTLI
+      Hydra.Core.Logger.Impl.HsLoggerInterpreter
+      Hydra.Core.Logger.Impl.StmLogger
+      Hydra.Core.Logger.Language
+      Hydra.Core.Process.FTL
+      Hydra.Core.Process.FTLI
+      Hydra.Core.Process.Interpreter
+      Hydra.Core.Process.Language
+      Hydra.Core.Random.FTL
+      Hydra.Core.Random.FTLI
+      Hydra.Core.Random.Interpreter
+      Hydra.Core.Random.Language
+      Hydra.Core.SqlDB.Interpreter
+      Hydra.Core.SqlDB.Language
+      Hydra.Core.State.FTL
+      Hydra.Core.State.Interpreter
+      Hydra.Core.State.Language
+      Hydra.Framework.App.FTL
+      Hydra.Framework.App.FTLI
+      Hydra.Framework.App.Interpreter
+      Hydra.Framework.App.Language
+      Hydra.Framework.FTL
+      Hydra.Framework.FTLI
+      Hydra.Framework.Interpreters
+      Hydra.Framework.Language
+      Hydra.FTL
+      Hydra.FTLI
+      Hydra.Interpreters
+      Hydra.Language
+      Hydra.Language.Extra
+      Hydra.Runtime
+      Hydra.Testing.Functional
+      Hydra.Testing.Functional.AppInterpreter
+      Hydra.Testing.Functional.Common
+      Hydra.Testing.Functional.LangInterpreter
+      Hydra.Testing.Functional.RLens
+      Hydra.Testing.Functional.TestRuntime
+      Hydra.Testing.Integrational
+      Hydra.Testing.Wrappers
+  other-modules:
+      Paths_hydra_free
+  hs-source-dirs:
+      src
+      test-framework
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -Wall
+  build-depends:
+      MonadRandom
+    , QuickCheck
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , hspec
+    , hspec-contrib
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010
+
+test-suite functional-tests
+  type: exitcode-stdio-1.0
+  main-is: Spec.hs
+  other-modules:
+      Hydra.TestData
+      Hydra.TestData.Types.KVDB.CatalogueDB
+      Hydra.TestData.Types.Meteor
+      Hydra.TestData.Types.SqlDB.CatalogueDB
+      Hydra.Tests.Integration.Common
+      Hydra.Tests.Integration.FrameworkSpec
+      Hydra.Tests.Integration.KVDBSpec
+      Hydra.Tests.Integration.SqlDBSpec
+      Paths_hydra_free
+  hs-source-dirs:
+      test
+  default-extensions: NoImplicitPrelude GADTs RankNTypes DeriveFunctor DeriveGeneric OverloadedStrings LambdaCase MultiParamTypeClasses ExplicitNamespaces TypeApplications ScopedTypeVariables TypeOperators TypeFamilies DataKinds FlexibleContexts FlexibleInstances PatternSynonyms PolyKinds DefaultSignatures ConstraintKinds NamedFieldPuns TupleSections ViewPatterns MultiWayIf RecordWildCards
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N
+  build-depends:
+      MonadRandom
+    , QuickCheck
+    , aeson
+    , aeson-pretty
+    , arithmoi
+    , async
+    , base >=4.7 && <5
+    , base16-bytestring
+    , base58-bytestring
+    , base64-bytestring
+    , beam-core
+    , beam-migrate
+    , beam-postgres
+    , beam-sqlite
+    , bytestring
+    , bytestring-conversion
+    , cereal
+    , clock
+    , containers
+    , cryptohash-sha256
+    , cryptonite
+    , data-default
+    , directory
+    , entropy
+    , extra
+    , filepath
+    , fmt
+    , free
+    , generic-lens
+    , haskeline
+    , hedis
+    , hslogger
+    , hspec
+    , hspec-contrib
+    , http-client
+    , http-client-tls
+    , hydra-base
+    , hydra-free
+    , iproute
+    , lens
+    , lens-aeson
+    , memory
+    , mtl
+    , network
+    , newtype-generics
+    , process
+    , random
+    , regex-posix
+    , resource-pool
+    , resourcet
+    , rocksdb-haskell
+    , safe-exceptions
+    , scientific
+    , servant
+    , servant-client
+    , servant-docs
+    , servant-server
+    , servant-swagger
+    , silently
+    , sqlite-simple
+    , stm
+    , template-haskell
+    , text
+    , th-abstraction
+    , time
+    , time-units
+    , transformers
+    , triplesec
+    , universum
+    , unliftio
+    , unliftio-core
+    , uuid
+    , validation
+    , vector
+    , wai
+    , warp
+    , yaml
+  default-language: Haskell2010