playing with sessions as effects
session types example; plus various small library tweaks
session types example; plus various small library tweaks
session types example; plus various small library tweaks
removed kind class for the moment