HoF and Curry specs