Add Hint Mode to Functor, Applicative, Monad #30

Job	Run time
build (coqorg/coq:8.9)	5m 45s
build (coqorg/coq:8.9)	5m 45s
build (coqorg/coq:8.9)	5m 45s
build (coqorg/coq:8.9)	5m 45s
build (coqorg/coq:8.11)	7m 50s
build (coqorg/coq:8.11)	7m 50s
build (coqorg/coq:8.11)	7m 50s
build (coqorg/coq:8.11)	7m 50s
build (coqorg/coq:8.12-ocaml-4.11-flambda)	8m 9s
build (coqorg/coq:8.12-ocaml-4.11-flambda)	6m 30s
build (coqorg/coq:8.12-ocaml-4.11-flambda)	6m 30s
build (coqorg/coq:8.12-ocaml-4.11-flambda)	6m 30s
build (coqorg/coq:8.13)	13m 40s
build (coqorg/coq:8.13)	13m 40s
build (coqorg/coq:8.13)	13m 40s
build (coqorg/coq:8.13)	13m 40s
build (coqorg/coq:8.14)	44m 21s
build (coqorg/coq:8.14)	44m 21s
build (coqorg/coq:8.14)	44m 21s
build (coqorg/coq:8.14)	44m 21s
build (coqorg/coq:8.15)	12m 26s
build (coqorg/coq:8.15)	12m 26s
build (coqorg/coq:8.15)	12m 26s
build (coqorg/coq:8.15)	12m 26s
build (coqorg/coq:8.16)	11m 44s
build (coqorg/coq:8.16)	11m 44s
build (coqorg/coq:8.16)	11m 44s
build (coqorg/coq:8.16)	9m 46s
build (coqorg/coq:8.17)	29m 27s
build (coqorg/coq:8.17)	29m 27s
build (coqorg/coq:8.17)	30m 29s
build (coqorg/coq:8.17)	30m 58s
build (coqorg/coq:8.18)	11m 23s
build (coqorg/coq:8.18)	11m 23s
build (coqorg/coq:8.18)	11m 23s
build (coqorg/coq:8.18)	11m 23s
build (coqorg/coq:dev)	12m 1s
build (coqorg/coq:dev)	12m 1s
build (coqorg/coq:dev)	12m 1s
build (coqorg/coq:dev)	12m 1s
	10h 22m 42s

Provide feedback