module T1595a where

a, b :: Integer -> Tpyo
a = undefined
b = undefined