signature Dyck (Dyck) where

data Dyck