ParseError.agda:1,1-17 Missing type signature for left hand side modle ParseError when scope checking the declaration modle ParseError where