Eitan Chatav echatav

## gist:988d391a7bc3d53ade1b
{-# LANGUAGE FlexibleContexts , ScopedTypeVariables , TypeFamilies #-}

import Data.Proxy

class Problem p where
  type State p :: *
  data Action p :: *

  actions :: State p -> [Action p]
  result :: State p -> Action p -> State p
	{-# LANGUAGE FlexibleContexts , ScopedTypeVariables , TypeFamilies #-}

	import Data.Proxy

	class Problem p where
	type State p :: *
	data Action p :: *

	actions :: State p -> [Action p]
	result :: State p -> Action p -> State p