1/1: Building Dots1 (Dots1.idr)1/1: Building Dots2 (Dots2.idr)Dots2.idr:2:7--2:9:While processing left hand side of foo at Dots2.idr:2:1--4:1:Can't match on ?x [no locals in scope] (Non linear pattern variable)1/1: Building Dots3 (Dots3.idr)Dots3.idr:5:29--5:30:While processing left hand side of addBaz at Dots3.idr:5:1--6:1:Pattern variable z unifies with:	?y [no locals in scope]