без asInstanceOf?
https://scastie.scala-lang.org/JXBpx6urSoK18rNxbBrMiQ
В Haskell аналогичный код работает, так что вроде бы я хочу чего-то адекватного
data W e a where
WEnv :: W e e
bar :: e -> W e a -> Maybe a
bar e w = case w of
WEnv -> Just e
config match { case _: ConfigEnv[_] => Some(environment) }
Обсуждают сегодня