λ
Size: a a a
λ
Oℕ
Oℕ
Oℕ
ИО
Oℕ
AH
type A = Int
type B = Int
def foo(a: A): B = a
var a: B = 1
foo(a)
VH
type A = Int
type B = Int
def foo(a: A): B = a
var a: B = 1
foo(a)
λ
type A = Int
type B = Int
def foo(a: A): B = a
var a: B = 1
foo(a)
AH
VH
VH
AS
Oℕ
AS
C
Oℕ
C
P