В this question автор написал реализацию законов Моргана в Хаскелле. Я понимаю реализацию notAandnotB и notAornotB, но я изо всех сил, чтобы понять реализацию notAorB, которая: notAorB :: (Either a b
У меня есть две функции: f :: a -> Maybe a
g :: a -> a
Я хочу создать такую функцию: h :: a -> Maybe a
h x
| isJust(f x) = Just (g $ fromJust(f x))
| otherwise = Nothing
Как я могу это сдел