An effect notation based on with-clauses and blocks · HackerTrans