Charity Total Functional Language base on Category Theory