Updated fingertree bound
Claim to be Trustworthy as needed despite GeneralizedNewtypeDeriving, MPTCs, UndecidableInstances, etc.