module Testing ( module Testing )where
import Data.Text (Text, pack)
data TypeConstructor = DataConstructor
  { fff :: Text
  , ggg :: Int }
aaa :: TypeConstructor
aaa = DataConstructor
  { fff = ""
  , ggg = 0
  }
bbb :: TypeConstructor
bbb = DataConstructor "" 0
ccc :: (Text, Int)
ccc = (fff bbb, ggg aaa)
ddd :: Num a => a -> a -> a
ddd vv ww = vv +! ww
a +! b = a - b
hhh (Just a) (><) = a >< a
iii a b = a `b` a
jjj s = pack $ s <> s
class Class a where
  method :: a -> Int
instance Class Int where
  method = succ
kkk :: Class a => Int -> a -> Int
kkk n c = n + method c