Compatibility with Agda (and Standard Library) 2.4.0.