ekmett/bound

instance MFunctor (Scope b)

Closed this issue · 1 comments

ollef commented

Scope can be an instance of MFunctor from mmorph:

instance MFunctor (Scope b) where
    hoist = hoistScope

I'm not sure how you feel about incurring another dependency, but it might be worth considering.

phadej commented

I'm ok with this. Could you make a PR (don't forget the Bound.Scope.Simple)?