{-# LANGUAGE Haskell2010 #-}
module Tc271 where

class K a where

h :: K a => a -> a