Verification/evaluation of the different tools used in the DataHaskell community - View it on GitHub