ProfunctorTypeable.lazy() for handling infinite data types

[clinuxrulz]

TODO:

public interface ProfunctorTypeable<F_> extends Profunctor<F_> {
    <A,B> __<__<F_,A>,B> lazy(F0<__<__<F_,A>,B>> thunk);
    .
    .
    .
}