it needs a generalized constrain system but it’s a...

# pattern-matching

[raulraja]

it needs a generalized constrain system but it’s achievable but programs that use meta will get these analysis for free