Use real data types in ottery.hs