A bit of types too