moduleAgda.Utils.Pointedwhere-- | Pointed class.---- We could have used Data.Pointed by Edward Kmett, but it has a-- lot of package dependencies.classPointedfwherepoint::a->fainstancePointed[]wherepointa=[a]instancePointedMaybewherepoint=Just