daft: type/typeclass(3)