context on data

contexts on data type declarations in Haskell are weird:
they don't get propagated as one might expect.