improve performance bench
add strictness annotation for monadic version