ну вот он вывел тип (Foo a, Bar a) => a -> a он не видит никаких дефолтных типов у которых и инстанс Foo и Bar есть одновременно это ошибка или это нормально? дефолты где-то для полутора типов есть
report.hs:78:1: error: • Could not deduce (Monad m) from the context: HasCallStack bound by the inferred type for ‘throwLeft’: forall (m :: * -> *) a b. HasCallStack => m (Either a b) -> m b