some-like-it-hott-optimised