lambdas from contexts, not yet for type families