Add fmapCoerce to Functor class.
This allows coercions to work under functors that are not locally known.
Authored-by: Edward Kmett <ekmett@gmail.com>
Signed-off-by: Austin Seipp <austin@well-typed.com>
austin | Sep 24 2013, 11:23 PM |
bgamari | Aug 25 2016, 1:39 PM |