gistfile1.txt

{-# LANGUAGE DeriveGeneric, DataKinds, KindSignatures #-}
import GHC.TypeLits
import Data.Text (Text)
import GHC.Generics (Generic)

data Field (n :: Symbol) v = Field v
data Value t = Value t

data Banana = Banana
  { shape :: Field "banana-shape" (Value Text)
  , size :: Field "banana size" (Value (Maybe Int))
  , name :: Field "banana's name" (Value Text)
  } deriving (Generic, Show)