<:> Implicit prototypes