Agda.Utils.Pointed

class Pointed f