refactored third method and fork-seq. Still won't typecheck