Lots of Hasjell-related extensions