let val rowa = sew(turn(b),turn(b)) val rowb = sew(turn(b),turn(a)) val rowc = sew(turn(a),turn(a)) val topleftcell = sew(rowa,sew(rowb, rowc)) in topleftcell end