Id

cats

inner

ApplicativeLayerLaws MonadLayerControlLaws

innerMonad

MonadLayerLaws