This will now become

```haskell
instance Enveloped a => Default (AlignOpts a) where
  ...
```