:-:

sealed abstract
class :-:[+H, +T <: Or] extends Or
Companion
object
class Or
class Object
trait Matchable
class Any
class L[H, T]
class R[H, T]