module Data.Graph where

import Data.Bitraversable

class Bitraversable graph => Graph graph where
    traverseGraph :: Applicative p => (a -> [α] -> [α] -> p b) -> graph α a -> graph α b