Implementation1: Vanliga monadlagarna gäller, dock ej vissa
tillståndsmonadlagar.

Implementation3: Första monadlagen gäller inte, men resten
(med rätt kodsnuttar bortkommenterade).

ImplementationStandard: Första och andra monadlagen gäller ej, inte
heller G0.

ImplementationStandardApprox (variant med _|_ = const _|_): Andra
monadlagen gäller ej. Om man använder
  data Pair a b = Pair !a b
så verkar dock alla lagar gälla.

Property labels from Dick Kieburtz paper
  ftp://ftp.cse.ogi.edu/pub/pacsoft/papers/esop05.pdf

Relevant for Chasing Bottoms:
  ftp://ftp.cse.ogi.edu/pub/pacsoft/papers/demand.pdf