тип того:
def foo[M[_]](implicit ev: M =:= Option) = ???
можно свой =:= опрелелить для удобства который для дырявых работать будет
M[_] =:= Option[_]
ёпт, и правда
Обсуждают сегодня