DsStrictFail: DsStrictFail.hs:4:12-23: Non-exhaustive patterns in False