add curry and uncurry
add curry and uncurry test
Fix type annotation #9