1 2 3 4 5 6
{-# LANGUAGE NoDatatypeContexts #-} module T3811e where data (Show a, Read a) => D a = D a