WIP - Caching constraints during type checking at AIM XXXIX Haskell Performance Measurements at #kievfprog 2018.04