I'm glad you're finding Cognate useful. Case is actually a higher order function that builds a closure that performs the pattern match - no compile time execution is involved.