Hello, try changing this: rotula ae ad = No n ae ad where n = (tamArvBinA ae) + (tamArvBinA ad) to rotula ae ad = No n ae ad where n = (tamArvBinA ae) + (tamArvBinA ad)