Add `Inj` instances for `fmap` on option and maps.
Passed
Robbert Krebbers
created pipeline for commit
5424f22a
, finished
For master
9 minutes 31 seconds, queued for 2 seconds