Separating type signatures into own type
Sugared syntax for list types in signatures