prettyBoundary _ (Constant e) = parens $ text "Constant" <+> text (show (toElt e :: e))
prettyBoundary _ (Constant e) = parens $ text "Constant" <+> text (show (toElt e :: e))
prettyBoundary _ (Constant e) = parens $ text "Constant" <+> text (show (toElt e :: e))