One just requires more explicitness in terms of li...
# language-proposals
f
One just requires more explicitness in terms of lifting transforms to monadic functions