add fromWHNF func