ghc-options: -fno-ignore-asserts