3 ms·
Actually the dependent type view gives clarity to thinking of type level functions, like container types parameterized over an element type.
by haskellandchill 4y ago
Actually the dependent type view gives clarity to thinking of type level functions, like container types parameterized over an element type.