edit lecture: not export sizes from Lecture.hs