module T12064a where
import {-# SOURCE #-} T12064
class K a where
  kfun :: D -> a