:1:1: error: [GHC-88464] • Found hole: _ :: p Where: ‘p’ is a rigid type variable bound by the inferred type of it :: p at :1:1 • In an equation for ‘it’: it = _ • Relevant bindings include it :: p (bound at :1:1)