Could not deduce 〜 arising from a use of 〜 from the context 〜 bound by the signature for 〜 at 〜.

の文脈です