some stuff
Type checking
stuff