Tag: unit-type

Question: In scala, functions are covariant in their output type, and contravariant in their input type. For example, if Dog is a subtype of Animal, then T => Dog is a subtype of T => Animal, and Animal => T ...