diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,15 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
+## [0.8.3.2] 2019-05-13
+### Changed
+- Fixed dependencies bounds for stackage distribution
+- Optimized LANGUAGE pragmas
+
+## [0.8.3.1] 2019-01-21
+### Changed
+- Fixed dependencies bounds for stackage distribution
+
 ## [0.8.3.0] 2019-01-09
 ### Added
 - Web3 secret storage v3 support
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -5,6 +5,7 @@
 
 [![Documentation Status](https://readthedocs.org/projects/hs-web3/badge/?version=latest)](https://hs-web3.readthedocs.io/en/latest/?badge=latest)
 [![Build Status](https://travis-ci.org/airalab/hs-web3.svg?branch=master)](https://travis-ci.org/airalab/hs-web3)
+[![Hackage Matrix](https://matrix.hackage.haskell.org/api/v2/packages/web3/badge)](https://matrix.hackage.haskell.org/package/web3)
 [![Hackage](https://img.shields.io/hackage/v/web3.svg)](http://hackage.haskell.org/package/web3)
 [![LTS-13](http://stackage.org/package/web3/badge/lts-13)](http://stackage.org/lts-13/package/web3)
 [![nightly](http://stackage.org/package/web3/badge/nightly)](http://stackage.org/nightly/package/web3)
diff --git a/src/Data/Solidity/Event.hs b/src/Data/Solidity/Event.hs
--- a/src/Data/Solidity/Event.hs
+++ b/src/Data/Solidity/Event.hs
@@ -2,7 +2,6 @@
 {-# LANGUAGE FlexibleContexts       #-}
 {-# LANGUAGE FlexibleInstances      #-}
 {-# LANGUAGE FunctionalDependencies #-}
-{-# LANGUAGE MultiParamTypeClasses  #-}
 {-# LANGUAGE PolyKinds              #-}
 {-# LANGUAGE ScopedTypeVariables    #-}
 {-# LANGUAGE TypeFamilies           #-}
diff --git a/src/Data/Solidity/Event/Internal.hs b/src/Data/Solidity/Event/Internal.hs
--- a/src/Data/Solidity/Event/Internal.hs
+++ b/src/Data/Solidity/Event/Internal.hs
@@ -3,7 +3,6 @@
 {-# LANGUAGE FlexibleInstances      #-}
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE GADTs                  #-}
-{-# LANGUAGE MultiParamTypeClasses  #-}
 {-# LANGUAGE PolyKinds              #-}
 {-# LANGUAGE ScopedTypeVariables    #-}
 {-# LANGUAGE TypeFamilies           #-}
diff --git a/src/Data/Solidity/Prim/Int.hs b/src/Data/Solidity/Prim/Int.hs
--- a/src/Data/Solidity/Prim/Int.hs
+++ b/src/Data/Solidity/Prim/Int.hs
@@ -2,7 +2,6 @@
 {-# LANGUAGE DeriveGeneric              #-}
 {-# LANGUAGE FlexibleContexts           #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE KindSignatures             #-}
 {-# LANGUAGE ScopedTypeVariables        #-}
 {-# LANGUAGE TypeFamilies               #-}
 {-# LANGUAGE TypeOperators              #-}
diff --git a/src/Network/Ethereum/Account/Class.hs b/src/Network/Ethereum/Account/Class.hs
--- a/src/Network/Ethereum/Account/Class.hs
+++ b/src/Network/Ethereum/Account/Class.hs
@@ -1,6 +1,5 @@
 {-# LANGUAGE FlexibleContexts       #-}
 {-# LANGUAGE FunctionalDependencies #-}
-{-# LANGUAGE MultiParamTypeClasses  #-}
 
 -- |
 -- Module      :  Network.Ethereum.Account.Class
diff --git a/src/Network/Ethereum/Account/Default.hs b/src/Network/Ethereum/Account/Default.hs
--- a/src/Network/Ethereum/Account/Default.hs
+++ b/src/Network/Ethereum/Account/Default.hs
@@ -2,7 +2,6 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RecordWildCards       #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
-{-# LANGUAGE TypeSynonymInstances  #-}
 
 -- |
 -- Module      :  Network.Ethereum.Account.Default
diff --git a/src/Network/Ethereum/Account/LocalKey.hs b/src/Network/Ethereum/Account/LocalKey.hs
--- a/src/Network/Ethereum/Account/LocalKey.hs
+++ b/src/Network/Ethereum/Account/LocalKey.hs
@@ -2,7 +2,6 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RecordWildCards       #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
-{-# LANGUAGE TypeSynonymInstances  #-}
 
 -- |
 -- Module      :  Network.Ethereum.Account.LocalKey
diff --git a/src/Network/Ethereum/Account/Personal.hs b/src/Network/Ethereum/Account/Personal.hs
--- a/src/Network/Ethereum/Account/Personal.hs
+++ b/src/Network/Ethereum/Account/Personal.hs
@@ -3,7 +3,6 @@
 {-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE RecordWildCards       #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
-{-# LANGUAGE TypeSynonymInstances  #-}
 
 -- |
 -- Module      :  Network.Ethereum.Account.Personal
diff --git a/src/Network/Ethereum/Contract.hs b/src/Network/Ethereum/Contract.hs
--- a/src/Network/Ethereum/Contract.hs
+++ b/src/Network/Ethereum/Contract.hs
@@ -2,7 +2,6 @@
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
-{-# LANGUAGE TypeSynonymInstances  #-}
 
 -- |
 -- Module      :  Network.Ethereum.Contract
diff --git a/src/Network/Ethereum/Contract/Event/MultiFilter.hs b/src/Network/Ethereum/Contract/Event/MultiFilter.hs
--- a/src/Network/Ethereum/Contract/Event/MultiFilter.hs
+++ b/src/Network/Ethereum/Contract/Event/MultiFilter.hs
@@ -8,7 +8,6 @@
 {-# LANGUAGE RecordWildCards        #-}
 {-# LANGUAGE ScopedTypeVariables    #-}
 {-# LANGUAGE TypeApplications       #-}
-{-# LANGUAGE TypeFamilies           #-}
 {-# LANGUAGE TypeFamilyDependencies #-}
 {-# LANGUAGE TypeOperators          #-}
 {-# LANGUAGE UndecidableInstances   #-}
diff --git a/src/Network/Ethereum/Contract/Event/SingleFilter.hs b/src/Network/Ethereum/Contract/Event/SingleFilter.hs
--- a/src/Network/Ethereum/Contract/Event/SingleFilter.hs
+++ b/src/Network/Ethereum/Contract/Event/SingleFilter.hs
@@ -6,7 +6,6 @@
 {-# LANGUAGE RankNTypes             #-}
 {-# LANGUAGE RecordWildCards        #-}
 {-# LANGUAGE ScopedTypeVariables    #-}
-{-# LANGUAGE TypeFamilies           #-}
 {-# LANGUAGE TypeFamilyDependencies #-}
 {-# LANGUAGE TypeOperators          #-}
 {-# LANGUAGE UndecidableInstances   #-}
diff --git a/src/Network/Ethereum/Unit.hs b/src/Network/Ethereum/Unit.hs
--- a/src/Network/Ethereum/Unit.hs
+++ b/src/Network/Ethereum/Unit.hs
@@ -1,8 +1,7 @@
-{-# LANGUAGE DeriveGeneric        #-}
-{-# LANGUAGE FlexibleInstances    #-}
-{-# LANGUAGE OverloadedStrings    #-}
-{-# LANGUAGE ScopedTypeVariables  #-}
-{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE DeriveGeneric       #-}
+{-# LANGUAGE FlexibleInstances   #-}
+{-# LANGUAGE OverloadedStrings   #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 -- |
 -- Module      :  Network.Ethereum.Unit
diff --git a/src/Network/JsonRpc/TinyClient.hs b/src/Network/JsonRpc/TinyClient.hs
--- a/src/Network/JsonRpc/TinyClient.hs
+++ b/src/Network/JsonRpc/TinyClient.hs
@@ -3,7 +3,6 @@
 {-# LANGUAGE FlexibleContexts       #-}
 {-# LANGUAGE FlexibleInstances      #-}
 {-# LANGUAGE FunctionalDependencies #-}
-{-# LANGUAGE MultiParamTypeClasses  #-}
 {-# LANGUAGE OverloadedStrings      #-}
 {-# LANGUAGE RecordWildCards        #-}
 {-# LANGUAGE TemplateHaskell        #-}
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,5 +1,5 @@
 # Resolver to choose a 'specific' stackage snapshot or a compiler version.
-resolver: lts-13.4
+resolver: lts-13.21
 
 # User packages to be built.
 packages:
@@ -7,7 +7,7 @@
 
 # Extra package dependencies
 extra-deps:
-- relapse-1.0.0.0
+- relapse-1.0.0.0@sha256:b89ea23189e07f377be4e2a4deccf3d6ba7f547ed8ad77e27b35d78801efd81c
 
 # Dependencies bounds
 pvp-bounds: both
diff --git a/web3.cabal b/web3.cabal
--- a/web3.cabal
+++ b/web3.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.12
 name: web3
-version: 0.8.3.1
+version: 0.8.3.2
 license: BSD3
 license-file: LICENSE
 copyright: (c) Alexander Krupenkin 2016
@@ -118,10 +118,10 @@
         cryptonite >=0.23 && <0.26,
         data-default >=0.7.1.1 && <0.8,
         exceptions >=0.8.3 && <0.11,
-        generics-sop >=0.3.1.0 && <0.5,
+        generics-sop >=0.3.1.0 && <0.6,
         http-client >=0.5.7.1 && <0.7,
         http-client-tls >=0.3.5.1 && <0.4,
-        machines >=0.6.3 && <0.7,
+        machines >=0.6.3 && <0.8,
         memory >=0.14.11 && <0.15,
         microlens >=0.4.8.1 && <0.5,
         microlens-aeson >=2.2.0.2 && <2.4,
@@ -239,14 +239,14 @@
         cryptonite >=0.23 && <0.26,
         data-default >=0.7.1.1 && <0.8,
         exceptions >=0.8.3 && <0.11,
-        generics-sop >=0.3.1.0 && <0.5,
+        generics-sop >=0.3.1.0 && <0.6,
         hspec >=2.4.4 && <2.8,
         hspec-contrib >=0.4.0 && <0.6,
         hspec-discover >=2.4.4 && <2.8,
         hspec-expectations >=0.8.2 && <0.9,
         http-client >=0.5.7.1 && <0.7,
         http-client-tls >=0.3.5.1 && <0.4,
-        machines >=0.6.3 && <0.7,
+        machines >=0.6.3 && <0.8,
         memory >=0.14.11 && <0.15,
         microlens >=0.4.8.1 && <0.5,
         microlens-aeson >=2.2.0.2 && <2.4,
@@ -370,14 +370,14 @@
         cryptonite >=0.23 && <0.26,
         data-default >=0.7.1.1 && <0.8,
         exceptions >=0.8.3 && <0.11,
-        generics-sop >=0.3.1.0 && <0.5,
+        generics-sop >=0.3.1.0 && <0.6,
         hspec >=2.4.4 && <2.8,
         hspec-contrib >=0.4.0 && <0.6,
         hspec-discover >=2.4.4 && <2.8,
         hspec-expectations >=0.8.2 && <0.9,
         http-client >=0.5.7.1 && <0.7,
         http-client-tls >=0.3.5.1 && <0.4,
-        machines >=0.6.3 && <0.7,
+        machines >=0.6.3 && <0.8,
         memory >=0.14.11 && <0.15,
         microlens >=0.4.8.1 && <0.5,
         microlens-aeson >=2.2.0.2 && <2.4,