dataDefinition considered 'where' an identifier, exclude them for now
dataDefinition considered 'where' an identifier, exclude them for now

*Main> runCP (dataDefinition AMDict) "data Foo :: Foo ~> * where Bar :: Foo" :: Maybe (DefData (S Z), String)
Just (DefData (Signature "Foo" (Arr (Named "Foo") Star)) [Left (Signature "Bar" (Named "Foo"))],"")

cartazio/omega,minad/omega