Module 1-S.E

type 'a t