tc_int_tycon, tc_bool_tycon, tc_unit_tycon :: CT.TcType TyConId v
tc_int_tycon  = CT.TcCon "Int"  0 []
tc_int_tycon, tc_bool_tycon, tc_unit_tycon :: CT.TcType TyConId v
tc_int_tycon  = CT.TcCon "Int"  0 []
tc_int_tycon  = CT.TcCon "Int"  0 []