add a failing regression: parametric datatype with Booleans (a Pair type)