| <!-- functionPlaceholder2 --> |
| <html> |
| Type inference failed: |
| <table> |
| <tr> |
| <td width="10%"></td> |
| <td align="right" colspan="2" style="white-space:nowrap;font-weight:bold;"><b>fun</b> <`T, R> foo</td> |
| <td style="white-space:nowrap;font-weight:bold;">(</td> |
| <td align="right" style="white-space:nowrap;font-weight:bold;">a: A<`T, R></td> |
| <td style="white-space:nowrap;font-weight:bold;">)</td> |
| <td style="white-space:nowrap;font-weight:bold;">: A<`T, R></td> |
| </tr> |
| <tr> |
| <td colspan="7" style="white-space:nowrap;">cannot be applied to</td> |
| </tr> |
| <tr> |
| <td width="10%"></td> |
| <td style="white-space:nowrap;"></td> |
| <td style="white-space:nowrap;"></td> |
| <td style="white-space:nowrap;"><b>(</b></td> |
| <td align="right" style="white-space:nowrap;"><font color=red><b>(???) → ???</b></font></td> |
| <td style="white-space:nowrap;"><b>)</b></td> |
| </tr> |
| </table> |
| </html> |