module Imp100Aux where
data T1 a 
data T2 a b 
data T3 a b c 
data T4 a b c d 
data T5 a b c d e 
data T6 a 
data T7 a b 
data T8 a b c 
data T9 a b c d 
data T10 a b c d e