from typing import Callable, TypeVar, Tuple

T = TypeVar('T')
R = TypeVar('R')

Transform = Callable[[T, int], Tuple[T, R]]

from typing import Tuple
from lib import Transform


def int_tf(m: int) -> Transform[int, str]:  # Bad number of arguments for type alias, expected: 0, given: 2
    def transform(i: int, pos: int) -> Tuple[int, str]:
        a = (i + pos) % m  # Name 'T' is not defined Name 'R' is not defined
        return (a, 'ok')

    return transform