let
can a =
Context
.can s.current a