contract interface Strokable =
  entrypoint stroke : () => string

contract Cat : Strokable =
  entrypoint stroke() = "Cat stroke"