Bindings type checking with markers