Library violates type complexity several times

[kayabaNerve]

I don't particularly care about type complexity as a rule, yet we can definitely simplify some of this to be cleaner.