Add implementation for (&&&)
Mark loop as inlinable
Add (+++) implementation
Add (|||) implementation
Mark tryInUnless as inlinable
Keep the trailing function in newReader
Have monadic bind inlined
Permit inlining of arrow composition