Logical Verification 2020 lecture12 121 type classes over one binary operator Published -- Download video MP4 360p