Removing strictness annotation