checkEnsures ann = do
    ppann <- pp ann
    genTcError (locpos $ loc ann) False $ text "unsupported annotation in quantified statement: " <+> ppann
checkEnsures ann = do
    ppann <- pp ann
    genTcError (locpos $ loc ann) False $ text "unsupported annotation in quantified statement: " <+> ppann
checkEnsures ann = do
    ppann <- pp ann
    genTcError (locpos $ loc ann) False $ text "unsupported annotation in quantified statement: " <+> ppann