Considering the type foo :: a -> ((b -> a) -> c) -> c I want to create a function that satisfies this type... I know foo x y = y (\z -> x) satisfies this type as confirmed with :type i...

I'm a bit confused about the behavior of pure in a case where its Applicative instance is unspecified. In this example, I expect the resulting value to be the number 5 in an applicative context: Prelu...

I have a function prefixes that, given [1, 2, 3], returns the prefixes [[1], [1, 2], [1, 2, 3]]. It is defined as follows: prefixes :: Num a => [a] -> [[a]] prefixes = foldr (\x acc -> [x] : ...

I would like to better understand some code I am looking at in a course I am taking. I used Ghci to deduce the type of (:) to be (:) :: a -> [a] -> [a]. I would like to know exactly how that fun...