內射
型別家庭不一定是單射的。因此，我們無法從應用程式推斷出引數。例如，在 servant 中，給定型別 Server a，我們無法推斷出型別 a。要解決這個問題，我們可以使用 Proxy。例如，在 servant 中，serve 函式的型別為 ... Proxy a -> Server a -> ...。我們可以從 Proxy a 推斷出 a，因為 Proxy 是由 data 定義的，這是單射的。
型別家庭不一定是單射的。因此，我們無法從應用程式推斷出引數。例如，在 servant 中，給定型別 Server a，我們無法推斷出型別 a。要解決這個問題，我們可以使用 Proxy。例如，在 servant 中，serve 函式的型別為 ... Proxy a -> Server a -> ...。我們可以從 Proxy a 推斷出 a，因為 Proxy 是由 data 定義的，這是單射的。