ekmett/reflection

Implement `(#.)` using `coerce` when possible

Closed this issue · 0 comments

Currently, the internals of Data.Reflection define this:

(#.) :: (b -> c) -> (a -> b) -> a -> c
(#.) _ = unsafeCoerce

On modern GHCs, we can implement this using coerce instead. See here for an example of how to do this.