module T11970A ( Fail(a) ) where import T11970A1 ( Fail(a, b) )