:: Monoid_a _ => _ a package:decidable

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