Немного не по адресу, но все же.
Рич в каком-то из последних видео говорил, что в haskell нельзя вот так сделать:
f :: Maybe Int -> Int
f(1)
Т.е. функция умеет работать с мейби, но не умеет работать просто со значением.
Это действительно так? Или есть способы?
Понятно, что f(Just 1) заработает. А есть какое-то автоматическое приведение?