Explain about NetBSD kernel using Haskell.