1. 4
  1.  

  2. 2
    Prelude.pure :: a -> f b
    

    I think that’s meant to be a -> f a.