module Control.Functor.Pointable (Pointable (..)) where class Pointable (t :: * -> *) where point :: a -> t a