Data.Functor.Point.Syntax