INLINE and haddocks