some package:universum
Similar to
some, but reflects in types that a non-empty list is
returned.
Convert an integer into an unknown type-level natural.
This type represents unknown type-level natural numbers.
The SomeException type is the root of the exception type
hierarchy. When an exception of type e is thrown, behind the
scenes it is encapsulated in a SomeException.