module T11970B ( A(f) ) where

data A = A

f = A