это не просто тайпкласс нужен, тут зависимость нужна getField :: foreach x :: T -> case x of A{} -> Int B{} -> String getField A{field} = field getField B{field} = field до такого пока далеко
можно просто два инстанса для результата
можно же getField :: HasField "f" a r => r -> a
не понимаю, какие в данном случае r и a
если подставить T Int, то будет одна частичная ерундовина, если T String, другая
Обсуждают сегодня