c2fDecl :: Id -> [Pat] -> Term