Distribution.System

Operating System

data OS

buildOS

Machine Architecture

data Arch

buildArch

Platform is a pair of arch and OS

data Platform

buildPlatform

platformFromTriple

Internal

knownOSs

knownArches