Structurally typed Loan.loanAny.
More loan types.
0.0.13.