Data.Constraint.Extras

class ArgDict f

type Has c f

type Has' c f g

has

has'

whichever

class Implies1 c d