module Algorithm where

import Control.Monad.Free
import Operation

type Algorithm a annotation = Free (Operation a annotation)