molikto’s weblog

Type class elaboration