module ConDeclEmptyCtx where

data Foo a = () => Foo a