Effect

sealed trait Effect[F[_]]

one effect, basically a type constructor

class Object
trait Matchable
class Any