Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions