diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix
index b53e69619a5..ebb04c68560 100644
--- a/pkgs/development/haskell-modules/hackage-packages.nix
+++ b/pkgs/development/haskell-modules/hackage-packages.nix
@@ -14220,6 +14220,18 @@ self: {
        hydraPlatforms = stdenv.lib.platforms.none;
      }) {};
 
+  "TypeNat" = callPackage
+    ({ mkDerivation, base }:
+     mkDerivation {
+       pname = "TypeNat";
+       version = "0.1.0.0";
+       sha256 = "1j5v4kmd3hxzzm6xrhxf2vh7rn3b8n4gzb1yppgvxng06p642snb";
+       buildDepends = [ base ];
+       homepage = "https://github.com/avieth/TypeNat";
+       description = "Some Nat-indexed types for GHC";
+       license = stdenv.lib.licenses.mit;
+     }) {};
+
   "TypingTester" = callPackage
     ({ mkDerivation, base, containers, directory, time }:
      mkDerivation {
@@ -16252,15 +16264,14 @@ self: {
      }:
      mkDerivation {
        pname = "active";
-       version = "0.1.0.17";
-       sha256 = "1asp0han2737vfk92gasij804z4jsw8v2bc0m4nrmn3v80vmh7qb";
+       version = "0.1.0.18";
+       sha256 = "1q2j7mx8a3mwsb809iyrr2d66bwn4na3y7hmisy6dq8jx4ajfrbk";
        buildDepends = [
          array base newtype semigroupoids semigroups vector-space
        ];
        testDepends = [
          array base newtype QuickCheck semigroupoids semigroups vector-space
        ];
-       jailbreak = true;
        description = "Abstractions for animation";
        license = stdenv.lib.licenses.bsd3;
      }) {};
@@ -25425,8 +25436,8 @@ self: {
      }:
      mkDerivation {
        pname = "buffer-builder";
-       version = "0.2.0.2";
-       sha256 = "0dj7hy7l4prl4xq1j26rsjcj9m5xrq57c9qxw4rhpgdh910d81i5";
+       version = "0.2.0.3";
+       sha256 = "154v17zgmp65a84cfij8qdankhsyww0avh5a5lqsqll6w3dxj6n9";
        buildDepends = [
          base bytestring mtl text unordered-containers vector
        ];
@@ -25447,8 +25458,8 @@ self: {
      }:
      mkDerivation {
        pname = "buffer-builder-aeson";
-       version = "0.2.0.0";
-       sha256 = "0g6578sw3794xgjvi22blqzwwsv18l7vq26l2q27h8xyv5knbpnm";
+       version = "0.2.0.3";
+       sha256 = "0i8jv5w016m8az6g809mf54wbkz1dci5w4c7w94rxl2xhsx7q98p";
        buildDepends = [
          aeson base buffer-builder bytestring integer-gmp scientific
          unordered-containers vector
@@ -27329,25 +27340,24 @@ self: {
      }) {};
 
   "call" = callPackage
-    ({ mkDerivation, base, bindings-portaudio, boundingboxes
-     , clean-unions, colors, containers, control-bool, deepseq
-     , directory, distributive, filepath, free, freetype2, GLFW-b
-     , hashable, JuicyPixels, JuicyPixels-util, lens, linear, mtl
-     , objective, OpenGL, OpenGLRaw, random, template-haskell, text
-     , transformers, vector, WAVE
+    ({ mkDerivation, base, bindings-portaudio, boundingboxes, colors
+     , containers, control-bool, deepseq, directory, filepath, free
+     , freetype2, GLFW-b, hashable, JuicyPixels, JuicyPixels-util, lens
+     , linear, mtl, objective, OpenGL, OpenGLRaw, random
+     , template-haskell, text, transformers, vector, WAVE
      }:
      mkDerivation {
        pname = "call";
-       version = "0.1.4";
-       sha256 = "0z249qixxh9vs3dh1z3nxr9mwvjdd3g37zrqv4r2f584vrlmn27l";
+       version = "0.1.4.1";
+       sha256 = "16g961vg6yhbj8k47idf3bhaabpqkd4db1y5k5729l08wg04048b";
        isLibrary = true;
        isExecutable = true;
        buildDepends = [
-         base bindings-portaudio boundingboxes clean-unions colors
-         containers control-bool deepseq directory distributive filepath
-         free freetype2 GLFW-b hashable JuicyPixels JuicyPixels-util lens
-         linear mtl objective OpenGL OpenGLRaw random template-haskell text
-         transformers vector WAVE
+         base bindings-portaudio boundingboxes colors containers
+         control-bool deepseq directory filepath free freetype2 GLFW-b
+         hashable JuicyPixels JuicyPixels-util lens linear mtl objective
+         OpenGL OpenGLRaw random template-haskell text transformers vector
+         WAVE
        ];
        jailbreak = true;
        homepage = "https://github.com/fumieval/call";
@@ -30753,8 +30763,8 @@ self: {
     ({ mkDerivation, base, lens, linear, profunctors }:
      mkDerivation {
        pname = "colors";
-       version = "0.3.0.1";
-       sha256 = "0fnqcgix6d9y3yvkzakkw3xkqxbpqg1kffalxsr8g144qzvfbzax";
+       version = "0.3.0.2";
+       sha256 = "0gbdqn5wrh9711j5hs5ypbd3w7a3mh37g6aadqiq4m5n7jna6phm";
        buildDepends = [ base lens linear profunctors ];
        homepage = "https://github.com/fumieval/colors";
        description = "A type for colors";
@@ -32105,8 +32115,8 @@ self: {
     ({ mkDerivation, base, tagged, void }:
      mkDerivation {
        pname = "constrained-categories";
-       version = "0.1.0.0";
-       sha256 = "02vsadayxch5dl77jl4dpk36zj4wpkgrpwlad3swk8dyfqyf4jfk";
+       version = "0.2.0.0";
+       sha256 = "1mh61gfydh068qws3r52rbnw30ihi9k88wklx8p18j43c7jngamx";
        buildDepends = [ base tagged void ];
        homepage = "https://github.com/leftaroundabout/constrained-categories";
        description = "Constrained clones of the category-theory type classes, using ConstraintKinds";
@@ -36484,8 +36494,8 @@ self: {
      }:
      mkDerivation {
        pname = "dbmigrations";
-       version = "0.8.1";
-       sha256 = "1fbj0w5ybq3b3v0961389xzd4iyljfn9123djgl43xibk6xa9jk8";
+       version = "0.8.2";
+       sha256 = "031ibk22iyqzbkc6cy5ab5kmbhk68k5217szpw50vdp646rya21w";
        isLibrary = true;
        isExecutable = true;
        buildDepends = [
@@ -40779,8 +40789,8 @@ self: {
      }:
      mkDerivation {
        pname = "dynamic-plot";
-       version = "0.1.0.0";
-       sha256 = "0v1q8f72hxpq8z7135p7714lljl2v7y7x1rwllyy2iwfikbiphwj";
+       version = "0.1.0.1";
+       sha256 = "0yrkf28hsh992bd9cx3dpc69xg444n9j819ysqjfci7wwnvzxx31";
        buildDepends = [
          async base colour constrained-categories containers deepseq
          diagrams-cairo diagrams-core diagrams-gtk diagrams-lib glib gtk
@@ -43084,12 +43094,13 @@ self: {
      }) {};
 
   "euler" = callPackage
-    ({ mkDerivation, base }:
+    ({ mkDerivation, base, hspec }:
      mkDerivation {
        pname = "euler";
-       version = "0.1.0";
-       sha256 = "1ds0spm4b6pai47cylmynl8j9qlkysajnfgqfx6d2m3qv1m7w9a4";
+       version = "0.2.2";
+       sha256 = "1rq6gj4z5z833g9as54m59jdi8lqa2z21ffmfz5m5sw3yrxpyk9q";
        buildDepends = [ base ];
+       testDepends = [ base hspec ];
        homepage = "https://github.com/decomputed/euler";
        description = "Mathematics utilities for Haskell";
        license = stdenv.lib.licenses.mit;
@@ -45993,17 +46004,20 @@ self: {
      }) {};
 
   "foldl-incremental" = callPackage
-    ({ mkDerivation, base, bytestring, foldl, tasty, tasty-golden
-     , tasty-hunit, tasty-quickcheck
+    ({ mkDerivation, base, bytestring, containers, deepseq, foldl
+     , histogram-fill, mwc-random, pipes, QuickCheck, tasty
+     , tasty-golden, tasty-hunit, tasty-quickcheck, vector
      }:
      mkDerivation {
        pname = "foldl-incremental";
-       version = "0.1.1.0";
-       sha256 = "1wqvd48ivs4nn0kw9g9r0p0029kigl8bbc3554m1g033l2b8k2pk";
-       buildDepends = [ base foldl ];
+       version = "0.2.0.0";
+       sha256 = "09xf9cba3j49z4bwfmad6q9gdnp3f1zn817q4px7hky2gln3bhzk";
+       buildDepends = [
+         base containers deepseq foldl histogram-fill vector
+       ];
        testDepends = [
-         base bytestring foldl tasty tasty-golden tasty-hunit
-         tasty-quickcheck
+         base bytestring containers foldl histogram-fill mwc-random pipes
+         QuickCheck tasty tasty-golden tasty-hunit tasty-quickcheck vector
        ];
        homepage = "https://github.com/tonyday567/foldl-incremental";
        description = "incremental folds";
@@ -57527,9 +57541,8 @@ self: {
      }:
      mkDerivation {
        pname = "haxr";
-       version = "3000.10.3.1";
-       sha256 = "0alvrsk85f1l79hfa9shagjckp4sx835l9734ab2izfv50mxx7gm";
-       editedCabalFile = "911a81d122ae60328ff513ed2de6e055c051b03a5f88280f602da23e36111918";
+       version = "3000.10.4.1";
+       sha256 = "1wns75q47wv6179sxzgr5m10ldk3wy17057vh358p3kv56bpsv7s";
        buildDepends = [
          array base base64-bytestring blaze-builder bytestring HaXml HTTP
          mtl network network-uri old-locale old-time template-haskell time
@@ -59971,24 +59984,24 @@ self: {
      }) {};
 
   "hindent" = callPackage
-    ({ mkDerivation, base, data-default, descriptive, directory
-     , haskell-src-exts, hspec, monad-loops, mtl, text, transformers
+    ({ mkDerivation, applicative-quoters, base, data-default
+     , descriptive, directory, ghc-prim, haskell-src-exts, hspec
+     , monad-loops, mtl, text, transformers
      }:
      mkDerivation {
        pname = "hindent";
-       version = "4.3.11";
-       sha256 = "038x8gqa484n03q9x9n3xxl56cls31yff8546xr9vgyqmibiqxrg";
+       version = "4.3.12";
+       sha256 = "0qz9jpl6ha83yxh9wzqhzcxa9zc6f4f9z44srhm4jkqq07lh3api";
        isLibrary = true;
        isExecutable = true;
        buildDepends = [
-         base data-default descriptive directory haskell-src-exts
-         monad-loops mtl text transformers
+         applicative-quoters base data-default descriptive directory
+         ghc-prim haskell-src-exts monad-loops mtl text transformers
        ];
        testDepends = [
          base data-default directory haskell-src-exts hspec monad-loops mtl
          text
        ];
-       jailbreak = true;
        description = "Extensible Haskell pretty printer";
        license = stdenv.lib.licenses.bsd3;
      }) {};
@@ -60540,6 +60553,24 @@ self: {
        license = stdenv.lib.licenses.bsd3;
      }) {};
 
+  "hjsonpointer" = callPackage
+    ({ mkDerivation, aeson, base, http-types, HUnit, test-framework
+     , test-framework-hunit, text, unordered-containers, vector
+     }:
+     mkDerivation {
+       pname = "hjsonpointer";
+       version = "0.1.0.1";
+       sha256 = "03c0hl4hzgihkqla7kqkjk5s1k68pnblqpisjrzf4bzjl8z1z6hw";
+       buildDepends = [ aeson base text unordered-containers vector ];
+       testDepends = [
+         aeson base http-types HUnit test-framework test-framework-hunit
+         text unordered-containers vector
+       ];
+       homepage = "https://github.com/seagreen/hjsonpointer";
+       description = "JSON Pointer library for Haskell";
+       license = stdenv.lib.licenses.mit;
+     }) {};
+
   "hjsonschema" = callPackage
     ({ mkDerivation, aeson, base, bytestring, directory, filepath
      , hashable, HUnit, lens, regexpr, scientific, test-framework
@@ -66967,8 +66998,8 @@ self: {
      }:
      mkDerivation {
        pname = "hub";
-       version = "1.4.0";
-       sha256 = "1720gcn6d3j0i2j317savgd57n81330pjdsnlymsdg12704xs59i";
+       version = "1.9.0.1";
+       sha256 = "10hcaddk1mqzyl1fmzsvzqq141lg9a43295158ckmkbnx8i1rxv1";
        isLibrary = false;
        isExecutable = true;
        buildDepends = [
@@ -74185,18 +74216,20 @@ self: {
      }) {};
 
   "language-lua" = callPackage
-    ({ mkDerivation, array, base, deepseq, directory, filepath, mtl
-     , parsec, QuickCheck, safe, tasty, tasty-hunit, tasty-quickcheck
+    ({ mkDerivation, alex, array, base, deepseq, directory, filepath
+     , mtl, parsec, QuickCheck, safe, tasty, tasty-hunit
+     , tasty-quickcheck
      }:
      mkDerivation {
        pname = "language-lua";
-       version = "0.6.3";
-       sha256 = "0x7fafp78ipk4r2l2iagk7xgpbq5gwnqs33d4r4hk7k89jgjkv6c";
+       version = "0.6.3.1";
+       sha256 = "11q59pbl7bjx4x8xn07lq09a235l1sgw510s9lb89q35mm0mravi";
        buildDepends = [ array base deepseq mtl parsec safe ];
        testDepends = [
          base deepseq directory filepath parsec QuickCheck tasty tasty-hunit
          tasty-quickcheck
        ];
+       buildTools = [ alex ];
        homepage = "http://github.com/osa1/language-lua";
        description = "Lua parser and pretty-printer";
        license = stdenv.lib.licenses.bsd3;
@@ -74856,8 +74889,8 @@ self: {
      }:
      mkDerivation {
        pname = "learning-hmm";
-       version = "0.3.1.0";
-       sha256 = "12sfx2dmlv290ycy29nxjrxsl55q0qhyrcfn0z2nwmx0gvprpgyh";
+       version = "0.3.1.1";
+       sha256 = "1ry8g3gkmvj5xk4llrll40g8xdddg8g2rbg8qwjwqpdd1ni9hck4";
        buildDepends = [
          base containers deepseq hmatrix random-fu random-source vector
        ];
@@ -79254,16 +79287,17 @@ self: {
 
   "manifolds" = callPackage
     ({ mkDerivation, base, comonad, constrained-categories, containers
-     , MonadRandom, random, semigroups, transformers, vector
-     , vector-algorithms, vector-space, void
+     , MemoTrie, MonadRandom, random, semigroups, tagged, transformers
+     , vector, vector-algorithms, vector-space, void
      }:
      mkDerivation {
        pname = "manifolds";
-       version = "0.1.0.0";
-       sha256 = "1lbgkjhbfsps882vc2l97gwg92gh668kkhdwpy7rldbj7a9bdnzq";
+       version = "0.1.0.2";
+       sha256 = "05ysr2rmjc0rqgy409qcga8j748l0w322vxbjdw9yyhcp2kbrv14";
        buildDepends = [
-         base comonad constrained-categories containers MonadRandom random
-         semigroups transformers vector vector-algorithms vector-space void
+         base comonad constrained-categories containers MemoTrie MonadRandom
+         random semigroups tagged transformers vector vector-algorithms
+         vector-space void
        ];
        description = "Working with manifolds in a direct, embedding-free way";
        license = stdenv.lib.licenses.gpl3;
@@ -80430,15 +80464,15 @@ self: {
      }) {};
 
   "microformats2-types" = callPackage
-    ({ mkDerivation, aeson, base, data-default, either, pandoc-types
+    ({ mkDerivation, aeson, base, data-default-class, pandoc-types
      , setters, text, time
      }:
      mkDerivation {
        pname = "microformats2-types";
-       version = "0.3.0";
-       sha256 = "0wldwc9l6r2h63h22ymj62x17vcwqwswzqwcfs1nm81nrh2rj07a";
+       version = "0.4.0";
+       sha256 = "020193sbvg5arha9pvbc88wqrqyvshy19kz02knkh5kv0dzqngf6";
        buildDepends = [
-         aeson base data-default either pandoc-types setters text time
+         aeson base data-default-class pandoc-types setters text time
        ];
        homepage = "https://github.com/myfreeweb/microformats2-types";
        description = "Microformats 2 types (with Aeson instances)";
@@ -86625,14 +86659,15 @@ self: {
 
   "objective" = callPackage
     ({ mkDerivation, base, containers, either, free, hashable
-     , profunctors, transformers, unordered-containers, void, witherable
+     , profunctors, stm, transformers, unordered-containers, void
+     , witherable
      }:
      mkDerivation {
        pname = "objective";
-       version = "1";
-       sha256 = "1gpz3cpdhnbjfzyqix8bwzfba9lbsa6y0qjbzzrlahmw8i373c6f";
+       version = "1.0.1";
+       sha256 = "1jycikj070mkrw43h44ynvh2f73n1p2ajxyxy7r0a57hl9l6rwba";
        buildDepends = [
-         base containers either free hashable profunctors transformers
+         base containers either free hashable profunctors stm transformers
          unordered-containers void witherable
        ];
        homepage = "https://github.com/fumieval/objective";
@@ -98653,8 +98688,8 @@ self: {
      }:
      mkDerivation {
        pname = "rhythm-game-tutorial";
-       version = "0.1";
-       sha256 = "1ib6a0skxmhngvii11ikyibg862j5l4dcjyd2l141v8nsb0incpn";
+       version = "0.1.1";
+       sha256 = "08ddm1pxi7qdjz2mgvjvwdgxyskvac4ahi3jp2fd8z1sh68c7x7s";
        isLibrary = false;
        isExecutable = true;
        buildDepends = [ base call containers lens mtl objective split ];
@@ -108987,15 +109022,14 @@ self: {
      }:
      mkDerivation {
        pname = "structured-haskell-mode";
-       version = "1.0.19";
-       sha256 = "0pf6mhd2385k5fj5a84g1gi8jnhizm3929dadq7zvcbpkzs42pf5";
+       version = "1.0.20";
+       sha256 = "1pcy83ic95l7k3839py4m10zlx4s4pk4n3bsx3mb7n8rp8zngcv2";
        isLibrary = false;
        isExecutable = true;
        buildDepends = [
          applicative-quoters base descriptive ghc-prim haskell-src-exts text
        ];
        buildTools = [ emacs ];
-       jailbreak = true;
        postInstall = ''
          emacs -L elisp --batch -f batch-byte-compile "elisp/"*.el
          install -d $out/share/emacs/site-lisp
@@ -110559,9 +110593,8 @@ self: {
     ({ mkDerivation, base, csv, html, mtl }:
      mkDerivation {
        pname = "tabular";
-       version = "0.2.2.5";
-       sha256 = "00d1f8yr7kbg30ziv09pb8f4apcvrfb6izb26my1s97kw9ixa740";
-       editedCabalFile = "9e1a07443018009aa697caa2713231daafed4dfd734a275268831bfb5aebd05f";
+       version = "0.2.2.6";
+       sha256 = "0biqi0cypzwf7s15an7njklxk7j0psfk13ii9w72vpv5vmvf1acf";
        buildDepends = [ base csv html mtl ];
        homepage = "http://hub.darcs.net/kowey/tabular";
        description = "Two-dimensional data tables with rendering functions";
@@ -113021,9 +113054,8 @@ self: {
     ({ mkDerivation, base, template-haskell }:
      mkDerivation {
        pname = "th-lift";
-       version = "0.7";
-       sha256 = "1mh5k6ifmc3mjavlrpkcq55ng737yb3nqv1q67fv8irkv5m6qpza";
-       editedCabalFile = "8c27e18de29621de1588e4c0e6dd5c72c6e1e088fd998d5475458062f607aed5";
+       version = "0.7.1";
+       sha256 = "18a9iz56nkdwlqrrrq4dsafnrlcw7cf0pxadbl14sfjlma2ypdff";
        buildDepends = [ base template-haskell ];
        testDepends = [ base template-haskell ];
        homepage = "http://github.com/mboes/th-lift";
@@ -120650,20 +120682,20 @@ self: {
      }) {};
 
   "wai-middleware-throttle" = callPackage
-    ({ mkDerivation, base, bytestring, doctest, Glob, hlint, hspec
+    ({ mkDerivation, base, bytestring, haddock, hlint, hspec
      , http-types, HUnit, network, process, regex-compat, stm, text
      , token-bucket, transformers, unordered-containers, wai, wai-extra
      }:
      mkDerivation {
        pname = "wai-middleware-throttle";
-       version = "0.1.0.0";
-       sha256 = "1hpwlf0wwsh0ya91pvzrlkc2shf9x5qycdql0qlgvnn0rn53vpmh";
+       version = "0.1.0.1";
+       sha256 = "1404i9f8pcvhpa2kjz5rc7r18f5dk7889v576i5k41faxb749ig0";
        buildDepends = [
          base bytestring http-types network stm text token-bucket
          transformers unordered-containers wai
        ];
        testDepends = [
-         base bytestring doctest Glob hlint hspec http-types HUnit process
+         base bytestring haddock hlint hspec http-types HUnit process
          regex-compat stm transformers unordered-containers wai wai-extra
        ];
        jailbreak = true;
@@ -120967,8 +120999,8 @@ self: {
      }:
      mkDerivation {
        pname = "warp";
-       version = "3.0.9";
-       sha256 = "1rlkfxm2ryyzdl3clbs4qaka80wja9nn1pakl7rvn4rv809g1kgi";
+       version = "3.0.9.1";
+       sha256 = "0g9krfaqj6xpgiri3bgmmn18mci4clyc2iz7cq8lzf2fw4l48j0p";
        buildDepends = [
          array auto-update base blaze-builder bytestring case-insensitive
          ghc-prim hashable http-date http-types iproute network
@@ -121028,8 +121060,8 @@ self: {
      }:
      mkDerivation {
        pname = "warp-tls";
-       version = "3.0.1.4";
-       sha256 = "1f4bwyck6lg3jndsspimpa92p71zxmlxmk9zjx1hkplld2i4psdk";
+       version = "3.0.2";
+       sha256 = "1jhra0iq7iph4cn5lq98892rapzws2nsf1pyb70gpww4l3bgjfzd";
        buildDepends = [
          base bytestring cprng-aes data-default-class network
          streaming-commons tls wai warp
@@ -121481,8 +121513,8 @@ self: {
      }:
      mkDerivation {
        pname = "webdriver";
-       version = "0.6.0.4";
-       sha256 = "1miy65dl60gymf0a65kjykdmsl3cwcjrfg1iiyk6vkjz39y6y7qf";
+       version = "0.6.1";
+       sha256 = "1464i2hzriimhykgi0sinndyz3r7vajkzpwyp80fc75piq6vr7wi";
        buildDepends = [
          aeson attoparsec base base64-bytestring bytestring cond
          data-default directory directory-tree exceptions filepath
@@ -121491,7 +121523,6 @@ self: {
          transformers-base unordered-containers vector zip-archive
        ];
        testDepends = [ base parallel text ];
-       jailbreak = true;
        homepage = "https://github.com/kallisti-dev/hs-webdriver";
        description = "a Haskell client for the Selenium WebDriver protocol";
        license = stdenv.lib.licenses.bsd3;
@@ -121815,6 +121846,7 @@ self: {
        pname = "welshy";
        version = "0.1.0.0";
        sha256 = "08pgns5irmvh9c12lxq2x72ql8ggzd3npfqnrphba3l171380gki";
+       editedCabalFile = "ff6973a67b742efb8d7c1d542ba9f27056de3e547ade96d33e9b68314afec22c";
        buildDepends = [
          aeson base blaze-builder bytestring conduit http-types lifted-base
          resourcet text transformers unordered-containers wai warp