build

Pass only proxy for some methods of IsProblem #235

Job	Run time
build (8.6.5, ubuntu-latest, stack-ghc-8.6.yaml)	1m 45s
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml)	1m 39s
build (8.10.7, ubuntu-latest, stack-ghc-8.10.yaml, true, --coverage)	1m 53s
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml)	1m 43s
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml)	1m 43s
build (9.4.5, ubuntu-latest, stack-ghc-9.4.yaml)	2m 22s
build (9.6.5, ubuntu-latest, stack-ghc-9.6.yaml)	2m 40s
build (9.6.5, macos-latest, stack-ghc-9.4.yaml)	3m 25s
build (9.6.5, windows-latest, stack-ghc-9.4.yaml)	5m 39s
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml)	48s
	23m 37s

Provide feedback