When using the benchmark harness in https://github.com/iu-parfunc/subtyping-haskell/commit/bab51f527d5829bb371c171dd20321525542590a, on Linux it fails to detect that TRInfer-bigcall is compatible with makeMethod even though it works on my Mac laptop.
This is with hsbencher-1.20.0.5. Using overrideMethod causes the make method to work.