Is it possible replace the question mark in the following code in order to make defaultMyType return a "don't care" value for b? data MyType t = MyType { a :: Int, b :: t} defaultMyType :: MyType defaultMyType = MyType {a = 0, b = ?} Cheers, -- Andre