module Types.Ok where data Ok = Ok deriving (Eq, Show)