Index of types
T
t
[
Memo
]
Memoization tables with keys of type
'a
to values of type
'b
.