Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Cardinality
| Either Bool (Bool, Maybe Bool -> Bool)| =
|Bool| + |(Bool, Maybe Bool -> Bool)| =
2 + |(Bool, Maybe Bool -> Bool)| =
2 + (|Bool| * |Maybe Bool -> Bool|) =
2 + (2 * |Maybe Bool -> Bool|) =
2 + (2 * |Bool|^(Maybe Bool)) =
2 + (2 * 2^(Maybe Bool)) =
2 + (2 * 2^(|Bool| + 1)) =
2 + (2 * 2^(2 + 1)) =
2 + (2 * 2^(3)) =
2 + (2 * 8) =
2 + 16 =
18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.