У меня есть абстрактный класс с методом, который получает HList в качестве параметра ( A ). Однако в подклассах я хотел бы ограничить точные типы этого HList ( B ) Приведенный ниже код не работает (он не рассматривает (Int :: String :: HNil) как...