{-@ generic_accept_stable ::
                    f:(x:a -> {v:a | (v = x)}) ->
                    ()
                    @-}
generic_accept_stable :: (a -> a) -> ()
generic_accept_stable pf = ()
generic_accept_stable :: (a -> a) -> ()
generic_accept_stable pf = ()
generic_accept_stable pf = ()