c2fPat :: Pat -> Term