{-# LANGUAGE DataKinds #-}
data Status = Plain | Encrypted
  deriving (Show, Eq)