> the type-level approach with type classes and type families has increased the compilation time and forces me to use `-freduction-depth=0`. Are you on OSX by

> the type-level approach with type classes and type families has increased the compilation time and forces me to use `-freduction-depth=0`. Are you on OSX by any chance? I have some similar issues but they don't seem to happen on Linux.