module Lib (class X, go) where

class X a where
  go :: a -> a