> I'd like us to proceed in a way that means we haven't still got > Data.List.stripPrefix and Data.Text.prefixed in the HP in 3 years time. Yes, they should be the same, one way or the other.