*^*->*
scalazlaws