type 'a t = 'a A.t