Data.Machine.Is

data Is a b