module Foo(A(.., B)) where

data A = A | B