:: [a] package:decidable

A version of auto that "just works" with type inference, if the predicate is a type constructor.