/Runhaskell@Runhaskellbot {-# LANGUAGE ImplicitParams #-} foo :: Monad m => m () foo

Question

= let ?someData = 7 in kek
where
kek = do
xyz [?someData, (6 :: Int), 7, 8]

xyz :: Monad m => a -> m ()
xyz _ = pure ()

main = foo

0

14.07.2023

21 просмотр

это 2 разных кода

0

14.07.2023

кана · Accepted Answer

не понимаю почему это чекается оно чекается (и у меня локально тоже), но не должно

0

14.07.2023