this library requires Agda 2.3.2.2 now (reason: predefined universe levels)