Type.Class.Known

class Known f a