Hi everyone. I was wondering, why it was decided to use
PolyFunType :: = HKTypeParamClause '=>' Type?
Wouldn’t it be better if it was consistent with type lambdas?
[T <: AnyVal] =>> List[T] => List[(T, T)]
instead of current
[T <: AnyVal] => List[T] => List[(T, T)]
=>> is for types and
=> is for terms, aren’t they?