type 'a t