module SimpleData where

data A where
  B :: A