Shapeless funny extensions