Type class for Option[T] - type erasure issue?

[spamegg1]

Similar question was asked recently
The workaround seems to be giving names to your givens.