-- |@+++#@| ++++>>
-- |Apply @+++#@ to a [CornerPoints].
(|@+++#@|) :: [CornerPoints] -> (CornerPoints -> CornerPoints) -> [CornerPoints]
faces |@+++#@| f = [ x @+++#@ f |  x <- faces]
(|@+++#@|) :: [CornerPoints] -> (CornerPoints -> CornerPoints) -> [CornerPoints]
faces |@+++#@| f = [ x @+++#@ f |  x <- faces]
faces |@+++#@| f = [ x @+++#@ f |  x <- faces]