module Control.Functor.Covariant.Pointable (Pointable (..)) where

import Control.Functor.Covariant (Covariant)

class Covariant t => Pointable t where
        point :: a -> t a