kleisli
test for tailOptionEodo initOptionEndo