trillのようなどんな単語でも探してください。

partialityは定義されていません。
定義しましたか?