Use the streaming type checker in bakery