少し訂正するわ

ある関数の第一引数は、○型であり、
この型と互換性がある型以外を渡している関数を取得する。
という方法がない。

互換性が有る型っていうのは、○型と○型を継承した型のことね。