Data.Pointed
class
Pointed
p