<div dir="ltr"><div><div>This code is using Applicative Maybe. The structure is provided by Maybe and the value 1 is wrapped in this structure. No surprises here.<br><br>Prelude> pure 1 :: Maybe Int<br>Just 1<br></div><div>Prelude> :t (pure 1 :: Maybe Int)<br>(pure 1 :: Maybe Int) :: Maybe Int<br><br>...but can somebody explain the type of x below?<br><br>Prelude> x = pure 1<br>Prelude> x<br>1<br>Prelude> :t x<br>x :: (Applicative f, Num a) => f a<br><br></div>What is f here?<br><br></div>Thanks!<br></div>