{-# OPTIONS -fglasgow-exts #-}
import Control.Monad.Reader

class Action c where
    run    :: c ()
    verify :: c Bool

data AnyAction = forall c. Action c => AnyAction c