Fix instances for Agda 2.4.2 (close #1)