Check the liquid type of digitsP here: http://conscientiousprogrammer.com/blog/2015/12/23/24-days-of-hackage-2015-day-23-liquid-haskell-refinement-types-for-th

Check the liquid type of digitsP here: http://conscientiousprogrammer.com/blog/2015/12/23/24-days-of-hackage-2015-day-23-liquid-haskell-refinement-types-for-the-real-world/ http://conscientiousprogrammer.com/blog/2015/12/23/24-days-o...