discard unit in runEnvIO result
add doc on default implementation