К>We describe our implementation in Morrow, an experimental functional language with both these features.