module T11970B ( A(f) ) where

data A = MkA

f = MkA