#6 [html]

Type Derivation by Restricting