Actually implement trait requirements via @Instance