Mattis Böckle

Unwraps the Optional into an enum and handles the no value case with a default- or None-case. Enables things like this: ``` enum A { B C } function main()...

Implement Monomorphization optimization

1

Aims to implement monomorphization for effekt. - [x] Simple polymorphism - [x] Functions with multiple polymorphic types - [x] Different orders of types - [x] Polymorphic data types - [x]...

Show instances for ground types

2

Implement new Core -> Core Phase which synthesizes `show` definitions for any type based on ground show definitions For example ```scala type MaybeInt { Nothing() Just(x: Int) } ``` could...