module Pandora.Pattern.Functor.Pointable where

import Pandora.Pattern.Functor.Covariant (Covariant_)

class Covariant_ t source source => Pointable t source where
	{-# MINIMAL point #-}
	point :: source a (t a)

class Pointable_ t target where
	point_ :: target a (t a)