ECC @() @[] @() :: [()] -> ECC (() :: Constraint) [] ()