1 2 3 4 5 6
{-# LANGUAGE TemplateHaskell #-} module T4124 where class Storable a where data X = X [d| instance Storable $( [t| X |] ) where |]