T12447.stdout 108 Bytes
Newer Older
1
2
3
deferEither @(_ ~ _)
  :: Deferrable (w2 ~ w1) =>
     proxy (w2 ~ w1) -> (w2 ~ w1 => r) -> Either String r