Simplifying it thanks to hlint