## Components Source File

def square(x : "A") -> "A":
    return x**2 

def length(x : "B") -> "A":
    return len(x)

def charAt(x : "B", y : "A") -> "B":
    return x[y]

def zero() -> "A":
    return 0

def succ(x : "A") -> "A":
    return x + 1
