Discriminating Unions

Written version in progress…