module Main where import Prelude newtype Thing = Thing String Boolean