Simplified join calculus for haskell (eventually with syntax support)