module Sources where

import Types

data Source a where
  Data :: a -> Source a

instance SourceState FilePath where
  stateOfSource = undefined

instance SourceState Image where
  stateOfSource = undefined

instance SourceState (String, FilePath) where
  stateOfSource = undefined