@@ -0,0 +1,31 @@
3+Idris-style fallback for do comprehensions.
15+ i :: String <- Nothing |> const (Just 0)
16+ result <- Int.fromString i |> const (Just 1)
21+ i :: String <- Just "abc" |> const (Just 0)
22+ result <- Int.fromString i |> const (Just 1)
27+ i :: String <- Just "10" |> const (Just 0)
28+ result <- Int.fromString i |> const (Just 1)