Agda.Utils.Null

class Null a