It's pretty tricky, this is not just about decidin...

# announcements

[cedric]

It's pretty tricky, this is not just about deciding whether return and parameter types need to be co/contravariant, it's also about making sure these types are conformant