Maybe not require `ImpredicativeTypes`?

[none]