wip
explore locally nameless. test3 promising