Cast: ((value: Val) => Val)