satisfy<base, t>: t

Type Parameters