module T11356 where

class T p p => C p

type T x = C x