A case study of High-level Synthesis Using Higher-order Function on Functional Language