чтобы это начало компилироваться? https://ideone.com/FO2m22
Никуда, у вас class A a where method :: (T i, T o) => i x -> o y -> a x y работает с инстансами class T a where number :: a Integer array :: a x -> a [x] а вы объекту типа o y пытаетесь runToJson сделать. Попробуйте превратить ToJson/FromJson в классы типов
Обсуждают сегодня