is it possible to enforce at compile time surjecti...

# announcements

[tschuchort]

is it possible to enforce at compile time surjectivity of a function to a sealed type (ignoring that some of the "case classes" may have properties or may be subclassed)?

[karelpeeters]

I'm having trouble imagining a use case, care to share?