Data.Constraint.Extras

class ArgDict f

type Has c f

class Implies1 c d