Exec type-class

gistfile1.txt

trait Exec[F[_]] extends Monad[F] {
  /**
    Execute a block of code in in the context of F
   
    F may execute code block asynchronously, synchronously or may suspend execution.
    Note: if F suspends execution, this typeclass does not define how to execute the suspended code
    
    F may capture effects or may not capture effects
    F may catch exceptions or may not catch exceptions
  */
  def exec(f: => A) : F[A]
}