supporting for datatypes TT | FF
add a failing regression: parametric datatype with Booleans (a Pair type)