Hello! I want to create two data types: a) Purchase, which represents purchase by a customer (two attributes - amount of the purchase and rebate, both Double's) b) Customer, which represents a customer and his/her purchases. This tuple has two attributes - customer ID and a list of all purchases. Customer ID is Int, list of all purchases is a list of instances of Purchase (see above item a)). So, I wrote this code: <code-snippet> data Purchase (price :: Double) (rebate :: Double) = -- error occurs here Purchase price rebate deriving (Show, Eq) data Customer (id :: Int) (purchases :: [Purchase]) = Participant id purchases deriving (Show, Eq) </code-snippet> When I try to load it into GHCi, I'm getting this error message: <error-message> Prelude> :reload Compiling Gs ( Gs.hs, interpreted ) Gs.hs:15: parse error on input `Double' Failed, modules loaded: none. </error-message> Line 15 is the first line of the code snippet above. I have three questions: a) How should I define the types of the attributes correctly? b) Is it possible to impose a constraint on the "constructor" of tuple Purchase, so that the compiler throws an error, if one tries to create a purchase where rebate is greater than price (rebate and price are given in absolute numbers; rebate is NOT a fraction of price) ? c) What is a correct name for "attributes" of tuples (such as price and rebate in Purchase) and "constructors" of tuples? Many thanks in advance Dmitri Pissarenko