Distribution.System

Operating System

data OS

Machine Architecture

data Arch

Platform is a pair of arch and OS

data Platform