Typed Probe