typeside t schema s : t instance i : s ---------------------------------- mapping (pivot i) : pivot i -> s