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