types

a proxy can decide which future