Should we use <: instead of :>

[tomjaguarpaw]

I used :> to follow effecful but it doesn't make sense because it's a sort of subset containment operator so should correspond to "less than" not "greater than".