Less verbose, type signatures can be a hindrance