знаю, как загуглить
Есть
instance Applicative Maybe where
pure x = Just x
...
Как мне вызвать функцию pure для Maybe?
Хочу что то типа такого
> (pure :: Maybe Int) 4
> Just
pure 4 :: Maybe Int например
А как такая конструкция называется, не подскажешь?
Обсуждают сегодня