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

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