Workaround for agda import/syntax bug