laws

extend

lift

ByNameNtOps

liftIntoMonadError

ByNameEitherNtOps