1type CoerceLocalSig m m' =
2  forall r a.
3  LocalSig m r a ->
4  LocalSig m' r a
5