>>> fromRight 1 (Right 3) 3 >>> fromRight 1 (Left "foo") 1
\x -> fromRight' (Right x) == x \x -> fromRight' (Left x) == undefined