Exhale - System F