/ ‘LHUG/Algebra/talk.hs’