Bugfix: lazy didn't play well with Trait