WYCS: working through the new type pattern syntax.