Maybe (Maybe a)
Prelude> :t \f -> f . f $ Just
\f -> f . f $ Just
:: ((a -> Maybe a) -> a -> Maybe a) -> a -> Maybe a Почему так?
ты применяешь Just к f получется f уже принимает (a -> Maybe a) -> b потом ты применяешь f к f, получается, что и отдает f то же, что и на входе: (a -> Maybe a) -> (a -> Maybe a)
Обсуждают сегодня