Dependently Typed Haskell in Industry (Experience Report) http://delivery.acm.org/10.1145/3350000/3341704/icfp19main-p54-p.pdf?ip=84.208.235.206&id=3341704&acc=

Dependently Typed Haskell in Industry (Experience Report) http://delivery.acm.org/10.1145/3350000/3341704/icfp19main-p54-p.pdf?ip=84.208.235.206&id=3341704&acc=OA&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1564860853_8edbbd2839fe1bb01dd7e8e08cf9f246 http://delivery.acm.org/10.1145/3350000/3341704/icfp19main-p... "We encountered bugs in GHC at a higher rate than other projects." heh not unexpected