Update post with type family implementation of GCD
Update post with type family implementation of GCD

christiaanb/christiaanb.github.io,christiaanb/christiaanb.github.io,christiaanb/christiaanb.github.io