coerceToResult :: (Typeable a, Typeable b, Language lid1, Language lid2) =>
                  lid1 -> lid2 -> Range -> a -> Result b
coerceToResult i1 i2 pos a = adjustPos pos $ primCoerce i1 i2 "" a
coerceToResult :: (Typeable a, Typeable b, Language lid1, Language lid2) =>
                  lid1 -> lid2 -> Range -> a -> Result b
coerceToResult i1 i2 pos a = adjustPos pos $ primCoerce i1 i2 "" a
coerceToResult i1 i2 pos a = adjustPos pos $ primCoerce i1 i2 "" a