ajhc-0.8.0.7: Haskell compiler that produce binary through C language
E.Eval
eval :: E -> ESource
strong :: Monad m => [(TVr, E)] -> E -> m ESource