A collection of subtypes should be assignable where a collection of a super type is expected

[abstratt]

For instance, if a query returns Transaction[*], I should be able to assign Deposit[*] or Withdrawal[*] to it.

Same applies when invoking other operations and passing arguments. If Transaction[*] was expected, I should be able to pass Deposit[*] or Withdrawal[*] in.