Haskell: simply the definitions; expand platform into packages