Fix comile bug and make HListToFunc resolvable without import