nicolodavis

  set of cards -> filter by action cards -> choose -> [card]
  do stuff with [card]

  {-# LANGUAGE ExistentialQuantification #-}

  newtype Rule a = Rule {fn :: State -> (RuleResult a, State)}

  data RuleResult a
    = Done a
    | forall x. Show x => Choose [x] (x -> Rule a)

  instance Monad Rule where
    m >>= k = Rule $ \state ->
      case fn m state of
        (Done a, state') -> fn (k a) state'
        (Choose list m', state') -> (Choose list (m' >=> k), state')

  interface MyType {
      a: number;
  }

  function process(value: MyType) {
      console.log(value);
  }

  const value = { a: 1, b: 2 };

  process(value);