TODO Show that computations and maybes are composable Add uncurry Add list Add identity Add Either Add Monad transformers Probably something to learn here! Add reader and writer Add typescript definitions Make npm module of it