fprint :: forall a e. a -> Eff (trace :: Trace | e) a
fprintStringify :: forall a e. a -> Eff (trace :: Trace | e) a
fprintUnsafe :: forall a. a -> a
spy :: forall a. (Show a) => a -> a
data Eval :: !
data Unsafe :: *
evaluate :: forall r. String -> Eff (evil :: Eval | r) Unsafe
fpeek :: forall r. String -> Eff (evil :: Eval, trace :: Trace | r) Unsafe