Playing with type operators