Simplify further
Drop Coyoneda; can get Functor without it
Fancy streaming