We were talking about subtype relationships betwee...
# announcements
c
We were talking about subtype relationships between function types. e.g. are
(List<B> -> Int)
and
(List<B> -> Int)
subtypes?