Target Monads: - [x] async_either - [x] async - [x] datum - [x] either - [x] fn_either - [x] identity - [x] nilable - [x] option - [x] state - [x] sync_either - [x] sync WIP PR: #3