Agda.Utils.Null
class
Null
a