Parameter Check_accessors.3-Key

type 'a t