override DisjunctionInstances2#map
fix compose#laws parameter type