<:> Implicit structure mapping