Order

cats

outer

ApplicativeLayerLaws MonadLayerControlLaws

outerMonad

MonadLayerLaws