Except for type parameters, where you can write so...
# getting-started
m
Except for type parameters, where you can write something like
where X : ChessPiece, X : Promotable
.